- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A definable nonstandard model of the reals
Journal of Symbolic Logic 69 (1):159-164 (2004)
Abstract
We prove, in ZFC,the existence of a definable, countably saturated elementary extension of the realsAuthor's Profile
Links
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- arxiv.org
(no proxy) - arxiv.org [2] (no proxy)
- arxiv.org [3] (no proxy)
- projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- cambridge.org (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
On non-wellfounded iterations of the perfect set forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
On sets ∀-definable from Pfaffian functions.Ricardo Bianconi - 1992 - Journal of Symbolic Logic 57 (2):688-697.
Mapping a set of reals onto the reals.Arnold W. Miller - 1983 - Journal of Symbolic Logic 48 (3):575-584.
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.
Uniqueness, collection, and external collapse of cardinals in ist and models of peano arithmetic.V. Kanovei - 1995 - Journal of Symbolic Logic 60 (1):318-324.
Coding with ladders a well ordering of the reals.Uri Abraham & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (2):579-597.
Universally baire sets and definable well-orderings of the reals.Sy D. Friedman & Ralf Schindler - 2003 - Journal of Symbolic Logic 68 (4):1065-1081.
Review: Saharon Shelah, Hugh Woodin, Large Cardinals Imply That Every Reasonably Definable Set of Reals Is Lebesgue Measurable. [REVIEW]Joan Bagaria - 2002 - Bulletin of Symbolic Logic 8 (4):543-545.
The perfect set theorem and definable wellorderings of the continuum.Alexander S. Kechris - 1978 - Journal of Symbolic Logic 43 (4):630-634.
On external Scott algebras in nonstandard models of peano arithmetic.Vladimir Kanovei - 1996 - Journal of Symbolic Logic 61 (2):586-607.
Analytics
Added to PP
2009-02-05
Downloads
68 (#240,396)
6 months
15 (#168,953)
2009-02-05
Downloads
68 (#240,396)
6 months
15 (#168,953)
Historical graph of downloads
Author's Profile
Citations of this work
Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics.Vladimir Kanovei, Mikhail G. Katz & Thomas Mormann - 2013 - Foundations of Science 18 (2):259-296.
Infinite Lotteries, Spinners, Applicability of Hyperreals†.Emanuele Bottazzi & Mikhail G. Katz - 2021 - Philosophia Mathematica 29 (1):88-109.
Underdetermination of infinitesimal probabilities.Alexander R. Pruss - 2018 - Synthese 198 (1):777-799.
Internality, transfer, and infinitesimal modeling of infinite processes†.Emanuele Bottazzi & Mikhail G. Katz - forthcoming - Philosophia Mathematica.
References found in this work
Internal Approach to External Sets and Universes: Part 1. Bounded Set Theory.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):229-257.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-rskd8 uwo