Model theoretic characterizations of large cardinals

DOI10.1007/s11856-020-1971-6zbMath1443.03029arXiv1708.07561OpenAlexW3006624722MaRDI QIDQ2182021

Will Boney

Publication date: 20 May 2020

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

large cardinalsinfinitary logictype omission

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Second- and higher-order model theory (03C85) Ultraproducts and related constructions (03C20) Other infinitary logic (03C75) Set-theoretic model theory (03C55)

Related Items (4)

SUBCOMPACT CARDINALS, TYPE OMISSION, AND LADDER SYSTEMS ⋮ A category-theoretic characterization of almost measurable cardinals ⋮ Tameness, powerful images, and large cardinals ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(C ^{(n)}\)-cardinals
• Model theory.
• Implications between strong large cardinal axioms
• A model of the generic Vopěnka principle in which the ordinals are not Mahlo
• I0 and rank-into-rank axioms
• Elementary chains and \(C ^{(n)}\)-cardinals
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• On the role of supercompact and extendible cardinals in logic
• ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC
• ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS
• Vopěnka's principle and compact logics
• A Proof of Projective Determinacy
• Axioms for abstract model theory
• How large is the first strongly compact cardinal? or a study on identity crises
• Compactness for omitting of types
• Second-Order Logic and Foundations of Mathematics
• The downward directed grounds hypothesis and very large cardinals
• ON C⁽ⁿ⁾-EXTENDIBLE CARDINALS
• SORT LOGIC AND FOUNDATIONS OF MATHEMATICS

This page was built for publication: Model theoretic characterizations of large cardinals