THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE

DOI10.1017/JSL.2020.59OpenAlexW3119135869MaRDI QIDQ5082064

Joel David Hamkins, Kameryn J. Williams

Publication date: 15 June 2022

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

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

zbMATH Keywords

maximality principlespotentialismend-extensions of models of set theory

Mathematics Subject Classification ID

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

Related Items (1)

VARIETIES OF CLASS-THEORETIC POTENTIALISM

Cites Work

• What is the theory without power set?
• THE POTENTIAL HIERARCHY OF SETS
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• Actual and Potential Infinity
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• A model of second-order arithmetic satisfying AC but not DC
• MARGINALIA ON A THEOREM OF WOODIN
• Elementary extensions of models of set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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