Journal of Symbolic Logic 87 (2):564-584 (2022)

We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q, {\langle L[P],\in,P \rangle }$ and ${\langle L[Q],\in,Q \rangle }$ possess the same reals, satisfy the Generalised Continuum Hypothesis, and moreover are elementarily equivalent. Examples of such P are Card, the class of uncountable cardinals, I the uniform indiscernibles, or for any n the class $C^{n}{=_{{\operatorname {df}}}}\{ \lambda \, | \, V_{\lambda } \prec _{{\Sigma }_{n}}V\}$ ; moreover the theory of such models is invariant under ZFC-preserving extensions. They also all have a rich structure satisfying many of the usual combinatorial principles and a definable wellorder of the reals. The inner model constructed using definability in the language augmented by the Härtig quantifier is thus also characterized.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2021.21
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,436
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
A Characterization of Generalized Příkrý Sequences.Gunter Fuchs - 2005 - Archive for Mathematical Logic 44 (8):935-971.
Determinacy in the Difference Hierarchy of Co-Analytic Sets.P. D. Welch - 1996 - Annals of Pure and Applied Logic 80 (1):69-108.
The Universe Constructed From a Sequence of Ordinals.W. Hugh Woodin - 1996 - Archive for Mathematical Logic 35 (5-6):371-383.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Decidability with Respect to Härtig Quantifier and Rescher Quantifier.Martin Weese - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):569-576.
Forcing Closed Unbounded Sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.
Canonical Finite Diagrams and Quantifier Elimination.Tapani Hyttinen - 2002 - Mathematical Logic Quarterly 48 (4):533-554.
Positive Model Theory and Amalgamations.Mohammed Belkasmi - 2014 - Notre Dame Journal of Formal Logic 55 (2):205-230.
Abstract Logic and Set Theory. II. Large Cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
Forcing Closed Unbounded Subsets of Ω2.M. C. Stanley - 2001 - Annals of Pure and Applied Logic 110 (1-3):23-87.
On the Size of Closed Unbounded Sets.James E. Baumgartner - 1991 - Annals of Pure and Applied Logic 54 (3):195-227.
A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Mathematical Logic Quarterly 18 (13‐15):227-228.
On Some Applications of Games for Härtig Quantifier.Michal Krynicki - 1987 - Mathematical Logic Quarterly 33 (4):359-370.
A Remark On The Härtig Quantifier.Gebhard Fuhrken - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (13-15):227-228.
Generalized Quantifiers and Measure Theory.Charles William Kurtz - 1996 - Dissertation, Syracuse University


Added to PP index

Total views
5 ( #1,207,957 of 2,520,355 )

Recent downloads (6 months)
1 ( #406,012 of 2,520,355 )

How can I increase my downloads?


My notes