Closed and unbounded classes and the härtig quantifier model

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

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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

Analytics

Added to PP
2021-02-16

Downloads
14 (#846,877)

6 months
3 (#447,120)

Historical graph of downloads
How can I increase my downloads?