Forcing revisited

DOI10.1002/malq.202000040OpenAlexW4385457435MaRDI QIDQ6096804

Toby Meadows

Publication date: 15 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.202000040

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fine structure and class forcing
• Measurable cardinals and the continuum hypothesis
• Boolean-valued second-order logic
• THE SET-THEORETIC MULTIVERSE
• Outer models and genericity
• A Proof of Projective Determinacy
• Iteration Trees
• Forcing in Proof Theory
• Set Theory
• REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
• On the structure of classical realizability models of ZF
• Category Theory
• The theory of Boolean ultrapowers
• The completeness theorem for infinitary logic

This page was built for publication: Forcing revisited