- 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
Terminal notions in set theory
Annals of Pure and Applied Logic 109 (1-2):89-116 (2001)
Abstract
In mathematical practice certain formulas φ are believed to essentially decide all other natural properties of the object x. The purpose of this paper is to exactly quantify such a belief for four formulas φ, namely “x is a Ramsey ultrafilter”, “x is a free Souslin tree”, “x is an extendible strong Lusin set” and “x is a good diamond sequence”Other Versions
No versions found
My notes
Similar books and articles
$${\Pi^1_2}$$ -comprehension and the property of Ramsey.Christoph Heinatsch - 2009 - Archive for Mathematical Logic 48 (3-4):323-386.
Stable models and reflexive Banach spaces.Jose Iovino - 1999 - Journal of Symbolic Logic 64 (4):1595-1600.
Some extensions of the principles of idealization transfer and choice in the relative internal set theory.Yves Péraire - 1995 - Archive for Mathematical Logic 34 (4):269-277.
Effective topological spaces II: A hierarchy.Iraj Kalantari & Galen Weitkamp - 1985 - Annals of Pure and Applied Logic 29 (2):207-224.
Rabin's uniformization problem.Yuri Gurevich & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (4):1105-1119.
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.
The characteristic sequence of a first-order formula.M. E. Malliaris - 2010 - Journal of Symbolic Logic 75 (4):1415-1440.
Selective and Ramsey Ultrafilters on G-spaces.Oleksandr Petrenko & Igor Protasov - 2017 - Notre Dame Journal of Formal Logic 58 (3):453-459.
Semantic interpolation.Dov M. Gabbay & Karl Schlechta - 2010 - Journal of Applied Non-Classical Logics 20 (4):345-371.
Strong convergence in finite model theory.Wafik Boulos Lotfallah - 2002 - Journal of Symbolic Logic 67 (3):1083-1092.
Analytics
Added to PP
2014-01-16
Downloads
22 (#969,010)
6 months
6 (#851,951)
2014-01-16
Downloads
22 (#969,010)
6 months
6 (#851,951)
Historical graph of downloads
Citations of this work
Ideals and Their Generic Ultrafilters.David Chodounský & Jindřich Zapletal - 2020 - Notre Dame Journal of Formal Logic 61 (3):403-408.
References found in this work
Large cardinals and definable counterexamples to the continuum hypothesis.Matthew Foreman & Menachem Magidor - 1995 - Annals of Pure and Applied Logic 76 (1):47-97.
A Δ22 well-order of the reals and incompactness of L.Uri Abraham & Saharon Shelah - 1993 - Annals of Pure and Applied Logic 59 (1):1-32.
Forcing with filters and complete combinatorics.Claude Laflamme - 1989 - Annals of Pure and Applied Logic 42 (2):125-163.
Canonical models for ℵ1-combinatorics.Saharon Shelah & Jindr̆ich Zapletal - 1999 - Annals of Pure and Applied Logic 98 (1-3):217-259.
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-667477cd97-9l5tj dc2