Minimum models of second-order set theories

DOI10.1017/JSL.2019.27zbMATH Open1453.03033arXiv1709.03955OpenAlexW3106532762WikidataQ128119452 ScholiaQ128119452MaRDI QIDQ5222524FDOQ5222524

Authors: Kameryn J. Williams 

Publication date: 6 April 2020

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

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$.

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

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

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)

Cites Work

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

Cited In (4)

• 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
• VARIETIES OF CLASS-THEORETIC POTENTIALISM

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)