MINIMUM MODELS OF SECOND-ORDER SET THEORIES

DOI10.1017/jsl.2019.27zbMath1453.03033arXiv1709.03955OpenAlexW3106532762WikidataQ128119452 ScholiaQ128119452MaRDI QIDQ5222524

Kameryn J. Williams

Publication date: 6 April 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

minimum modelGödel-Bernays set theorysecond-order set theoryKelley-Morse set theoryelementary transfinite recursion

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62)

Related Items (3)

End extending models of set theory via power admissible covers ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ THE EXACT STRENGTH OF THE CLASS FORCING THEOREM

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classes and truths in set theory
• Global and local choice functions
• Models of set theory with definable ordinals
• RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
• Hyperclass Forcing in Morse-Kelley Class Theory
• A minimal model for set theory
• Models with second order properties II. Trees with no undefined branches
• Some fluid-mechanical problems in geophysics—waves in the atmosphere and fault lubrication
• Set Theory
• Pointwise definable models of set theory
• EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE
• Recursive Pseudo-Well-Orderings
• Powers of regular cardinals
• Comparison of the axioms of local and universal choice
• Inner models for set theory – Part III
• THE EXACT STRENGTH OF THE CLASS FORCING THEOREM
• Inner models and large cardinals

This page was built for publication: MINIMUM MODELS OF SECOND-ORDER SET THEORIES