Minimum Models of second-order Set Theories

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

[1]  Richard Kaye,et al.  On Interpretations of Arithmetic and Set Theory , 2007, Notre Dame J. Formal Log..

[2]  Joel David Hamkins,et al.  Pointwise definable models of set theory , 2011, The Journal of Symbolic Logic.

[3]  Dana Scott.  Measurable Cardinals and Constructible Sets , 2003 .

[4]  Ali Enayat,et al.  Models of set theory with definable ordinals , 2005, Arch. Math. Log..

[5]  P. J. Cohen.  A minimal model for set theory , 1963 .

[6]  Harvey M. Friedman,et al.  Countable models of set theories , 1973 .

[7]  Urlich Felgner,et al.  Comparison of the axioms of local and universal choice , 1971 .

[8]  Sato Kentaro.  Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories , 2014, J. Symb. Log..

[9]  W. Marek,et al.  On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes , 1975 .

[10]  John C. Shepherdson,et al.  Inner models for set theory – Part III , 1951, Journal of Symbolic Logic.

[11]  William B. Easton,et al.  Powers of regular cardinals , 1970 .

[12]  Andrzej M. Zarach.  Replacement $\nrightarrow$ collection , 1996 .

[13]  Kameryn J. Williams.  The Structure of Models of Second-order Set Theories , 2018, 1804.09526.

[14]  Sy-David Friedman,et al.  Hyperclass forcing in Morse-Kelley class Theory , 2017, J. Symb. Log..

[15]  J. Barwise.  Admissible Sets and Structures: An Approach to Definability Theory , 1976 .

[16]  Joel David Hamkins,et al.  THE EXACT STRENGTH OF THE CLASS FORCING THEOREM , 2020, The Journal of Symbolic Logic.

[17]  J. Hamkins,et al.  Open determinacy for class games , 2015, 1509.01099.

[18]  James H. Schmerl,et al.  The Structure of Models of Peano Arithmetic , 2006 .

[19]  Rolando Chuaqui.  Internal and forcing models for the impredicative theory of classes , 1980 .

[20]  Ulrich Felgner.  Choice Functions on Sets and Classes , 1976 .

[21]  Saharon Shelah,et al.  Models with second order properties II. Trees with no undefined branches , 1978 .

[22]  Joseph Harrison,et al.  Recursive pseudo-well-orderings , 1968 .

[23]  Joel David Hamkins,et al.  Every Countable Model of Set Theory embeds into its Own Constructible Universe , 2012, J. Math. Log..

[24]  Haim Gaifman.  Global and local choice functions , 1975 .

[25]  Martin Zeman.  Inner Models and Large Cardinals , 2001 .

[26]  Kentaro Fujimoto.  Classes and truths in set theory , 2012, Ann. Pure Appl. Log..