Inner models from extended logics: Part 1

DOI10.1142/S0219061321500124MaRDI QIDQ5156477

Menachem Magidor, Juliette Kennedy, Jouko Väänänen

Publication date: 18 October 2021

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.10764

zbMATH Keywords

inner modelconstructibilitylarge cardinalgeneralised quantifier

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (6)

On representations of intended structures in foundational theories ⋮ CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL ⋮ Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers ⋮ STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL ⋮ Structural relativity and informal rigour

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\omega_ 1\)-constructible universe and measurable cardinals
• Chang's model and covering properties
• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• Measurable cardinals and the continuum hypothesis
• Large cardinals and definable counterexamples to the continuum hypothesis
• Measurable cardinals and \(\Delta^1_3\) well-orderings
• On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture
• An Outline of Inner Model Theory
• Martin’s maximum and weak square
• Elementary embeddings and infinitary combinatorics
• On a generalization of quantifiers
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• A Proof of Projective Determinacy
• The covering lemma for K
• Generalized Quantifiers and Compact Logic
• Axioms for abstract model theory
• Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable
• Consistency Results Concerning Supercompactness
• Compact extensions of L(Q) (part 1a)
• Stationary logic
• Saturated ideals
• A new construction of non-constructible ${Δ^1}_3$ subset of ω
• The axiom of determinateness and reduction principles in the analytical hierarchy
• On Extensions of Elementary Logic
• Internal cohen extensions
• Consistency results about ordinal definability
• Some applications of iterated ultrapowers in set theory
• Absolute logics and L∞ω

This page was built for publication: Inner models from extended logics: Part 1