Forcing and the universe of sets: must we lose insight?

DOI10.1007/s10992-019-09530-yzbMath1485.03215OpenAlexW2802106770MaRDI QIDQ2194109

Neil Barton

Publication date: 25 August 2020

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

Full work available at URL: http://philsci-archive.pitt.edu/14595/1/2016_06_Countable_models%281%29.pdf

zbMATH Keywords

forcingset theoryfoundations of mathematicspotentialismmultiversism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

Ideal objects for set theory ⋮ Structural relativity and informal rigour ⋮ UNIVERSISM AND EXTENSIONS OF V

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multiverse conceptions in set theory
• Generic large cardinals: New axioms for mathematics?
• Fine structure and class forcing
• Virtual large cardinals
• Set theory. Exploring independence and truth
• Characterizations of pretameness and the Ord-cc
• Proper forcing and remarkable cardinals II
• The hyperuniverse program
• THE SET-THEORETIC MULTIVERSE
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• Constructibility and Class Forcing
• Iterated Forcing and Elementary Embeddings
• Ideals and Generic Elementary Embeddings
• Large Cardinals from Determinacy
• A simple maximality principle
• Elementary embeddings and infinitary combinatorics
• Class Forcing in Class Theory
• Cofinality spectrum theorems in model theory, set theory, and general topology
• Proper Forcing and Remarkable Cardinals
• Potent Axioms
• Set Theory
• UNIVERSISM AND EXTENSIONS OF V
• The Impact of Paul Erdős on Set Theory
• A proof (involving Martin's axiom) of a partition relation
• Internal Consistency and the Inner Model Hypothesis