THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE

DOI10.1017/JSL.2020.59MaRDI QIDQ5082064zbMATH OpenOpenAlexFDO

Authors Joel David Hamkins, Kameryn J. Williams

Publication date 15 June 2022

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

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

zbMATH Keywords

end-extensions of models of set theorymaximality principlespotentialism

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonstandard models in mathematics (03H05)

Recommendations

• Pointwise definable models of set theory
• On two problems concerning end extensions
• Marginalia on a theorem of Woodin
• End-extending models of IΔ_0 + exp + ΒΣ_1
• Blunt and topless end extensions of models of set theory

Cites work

• A model of second-order arithmetic satisfying AC but not DC
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• Actual and potential infinity
• Elementary extensions of models of set theory
• scientific article; zbMATH DE number 5917702 (Why is no real title available?)
• scientific article; zbMATH DE number 3829895 (Why is no real title available?)
• scientific article; zbMATH DE number 3732013 (Why is no real title available?)
• scientific article; zbMATH DE number 922633 (Why is no real title available?)
• scientific article; zbMATH DE number 3348104 (Why is no real title available?)
• Marginalia on a theorem of Woodin
• Subsystems of second order arithmetic
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• THE POTENTIAL HIERARCHY OF SETS
• What is the theory ZFC without power set?

Cited in

(6)

• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• The Sigma₁-definable universal finite sequence
• Modal model theory
• Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength
• What is forcing potentialism?
• The modal logic of arithmetic potentialism and the universal algorithm

This page was built for publication: THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE

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