Sequential and distributive forcings without choice

DOI10.4153/s0008439522000753arXiv2112.14103OpenAlexW4313240499MaRDI QIDQ6052795

Jonathan Schilhan, Asaf Karagila

Publication date: 25 September 2023

Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)

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

zbMATH Keywords

forcingaxiom of choicedistributive forcingsequential forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)

Cites Work

• All uncountable cardinals can be singular
• Choiceless Löwenheim-Skolem property and uniform definability of grounds
• Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse
• On generic extensions without the axiom of choice
• The Bristol model: An abyss called a Cohen real
• 0^# and some forcing principles
• Set Theory
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• How to have more things by forgetting how to count them
• Preserving Dependent Choice
• The axiom of choice