WHAT IS A RESTRICTIVE THEORY?

DOI10.1017/s1755020322000181OpenAlexW4224569169MaRDI QIDQ6131223

Toby Meadows

Publication date: 4 April 2024

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

Full work available at URL: https://doi.org/10.1017/s1755020322000181

zbMATH Keywords

forcingset theoryphilosophy of set theoryrelative interpretation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• On \(\mathsf{Q}\)
• Categorical set theory: A characterization of the category of sets
• Boolean topoi and the theory of sets
• Descriptive inner model theory
• Iteration Trees
• The consistency of classical set theory relative to a set theory with intu1tionistic logic
• Set Theory
• A MULTIVERSE PERSPECTIVE ON THE AXIOM OF CONSTRUCTIBILITY
• Variations on a Visserian Theme
• IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES
• RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION
• Does Mathematics Need New Axioms?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item