Sequential and distributive forcings without choice

DOI10.4153/S0008439522000753MaRDI QIDQ6052795zbMATH OpenOpenAlexFDO

Authors Asaf Karagila, Jonathan Schilhan

Publication date 25 September 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

axiom of choicedistributive forcingforcingsequential forcing

Mathematics Subject Classification ID

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

Abstract: In the Zermelo--Fraenkel set theory with the Axiom of Choice a forcing notion is "$kappa$-distributive" if and only if it is "$kappa$-sequential". We show that without the Axiom of Choice this equivalence fails, even if we include a weak form of the Axiom of Choice, the Principle of Dependent Choice for $kappa$. Still, the equivalence may still hold along with very strong failures of the Axiom of Choice, assuming the consistency of large cardinal axioms. We also prove that while a $kappa$-distributive forcing notion may violate Dependent Choice, it must preserve the Axiom of Choice for families of size $kappa$. On the other hand, a $kappa$-sequential can violate the Axiom of Choice for countable families. We also provide a condition of "quasiproperness" which is sufficient for the preservation of Dependent Choice, and is also necessary if the forcing notion is sequential.

Cites work

• 0^# and some forcing principles
• 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
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• How to have more things by forgetting how to count them
• On generic extensions without the axiom of choice
• Preserving dependent choice
• Set Theory
• The axiom of choice
• The Bristol model: an abyss called a Cohen real

Cited in

(1)

• Intermediate models and Kinna-Wagner principles

This page was built for publication: Sequential and distributive forcings without choice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6052795)