Minimum models of second-order set theories

DOI10.1017/JSL.2019.27MaRDI QIDQ5222524zbMATH OpenOpenAlexWikidataFDO

Authors Kameryn J. Williams

Publication date 6 April 2020

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

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

zbMATH Keywords

second-order set theoryminimum modelKelley-Morse set theoryGödel-Bernays set theoryelementary transfinite recursion

Mathematics Subject Classification ID

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

Abstract: In this article I investigate the phenomenon of minimum models of second-order set theories, focusing on Kelley--Morse set theory $mathsfKM$, G"odel--Bernays set theory $mathsfGB$, and $mathsfGB$ augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of $mathsfZFC$ has a minimum $mathsfGBC$-realization if and only if it admits a parametrically definable global well-order. (2) Countable models of $mathsfGBC$ admit minimal extensions with the same sets. (3) There is no minimum transitive model of $mathsfKM$. (4) There is a minimum $$-model of $mathsfGB+mathsfETR$. The main question left unanswered by this article is whether there is a minimum transitive model of $mathsfGB+mathsfETR$.

Recommendations

• Minimal universes
• Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals
• Generic Families and Models of Set Theory with the Axiom of Choice
• An incompleteness theorem for β_n-models
• scientific article; zbMATH DE number 3916259

Cites work

• scientific article; zbMATH DE number 3664935 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3504970 (Why is no real title available?)
• scientific article; zbMATH DE number 3529846 (Why is no real title available?)
• scientific article; zbMATH DE number 3531386 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 922633 (Why is no real title available?)
• scientific article; zbMATH DE number 7078770 (Why is no real title available?)
• scientific article; zbMATH DE number 3247160 (Why is no real title available?)
• A minimal model for set theory
• Classes and truths in set theory
• Comparison of the axioms of local and universal choice
• Every countable model of set theory embeds into its own constructible universe
• Global and local choice functions
• Inner models and large cardinals
• Inner models for set theory – Part III
• Models of set theory with definable ordinals
• Models with second order properties II. Trees with no undefined branches
• Pointwise definable models of set theory
• Powers of regular cardinals
• Recursive Pseudo-Well-Orderings
• Relative predicativity and dependent recursion in second-order set theory and higher-order theories
• Set Theory
• Some fluid-mechanical problems in geophysics—waves in the atmosphere and fault lubrication
• Subsystems of second order arithmetic
• The exact strength of the class forcing theorem
• The structure of models of Peano arithmetic

Cited in

(4)

• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• End extending models of set theory via power admissible covers
• The exact strength of the class forcing theorem
• Minimal elementary extensions of models of set theory and arithmetic

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: Minimum models of second-order set theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222524)