Cover Image

A countable-support symmetric iteration separating PP from AC

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Gilson, Frank
Format:	Preprint
Published:	2026
Subjects:	Logic 03E35
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Internal to External: Classical Models of ZF + PP + $\neg$AC
by: Gilson, Frank
Published: (2025)

Symmetric Iterations with Countable and $<κ$-Support: A Framework for Choiceless ZF Extensions
by: Gilson, Frank
Published: (2025)

Locally countable graphs of second projective class not generated by countably many projective functions
by: Kanovei, Vladimir, et al.
Published: (2026)

Universal countably chromatic graph
by: Kivimäki, Siiri
Published: (2025)

Upwards homogeneity in iterated symmetric extensions
by: Ryan-Smith, Calliope, et al.
Published: (2024)

Classical Namba forcing can have the weak countable approximation property
by: Levine, Maxwell
Published: (2023)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
by: Gilson, Frank
Published: (2025)

More separations of cardinal characteristics of the strong measure zero ideal
by: Cardona, Miguel A., et al.
Published: (2025)

A note on iterating strongly $(<λ)$-closed stationary $λ^+$-cc forcing
by: Džamonja, Mirna
Published: (2026)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
by: Andretta, Alessandro, et al.
Published: (2023)

Towards a theory of symmetric extensions
by: Karagila, Asaf, et al.
Published: (2026)

A general theory of iterated forcing using finitely additive measures
by: Cardona, Miguel A., et al.
Published: (2024)

Some results on the $π$-weight of countable Fréchet-Urysohn spaces
by: Dow, Alan
Published: (2025)

A One-Step Cascade Symmetric Model: Rank-$1$ Packets, Binary Shielding, and the Even Exact-Cardinality Profile
by: Gilson, Frank
Published: (2026)

Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations
by: Gilson, Frank
Published: (2026)

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
by: Banerjee, Amitayu, et al.
Published: (2024)

Maximal δ-separated sets in separable metric spaces and weak forms of choice
by: Dybowski, Michał, et al.
Published: (2024)

Evasion numbers via zero-prediction
by: Yamazoe, Takashi
Published: (2026)

Long Strong Chains of Subsets of $ω_1$
by: Asperó, David, et al.
Published: (2026)

Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2026)

Forcing with Symmetric Systems of Models of Two Types
by: Gallart, Curial
Published: (2022)

Forcing Diamond and Applications to Iterability
by: Mildenberger, Heike, et al.
Published: (2025)

Definable discrete sets with large continuum
by: Schrittesser, David
Published: (2016)

On disjoint stationary sequences
by: Levine, Maxwell
Published: (2023)

Cardinal invariants related to density
by: Valderrama, David
Published: (2024)

Introducing a nontrivial square_omega
by: Dolinar, Gregor K., et al.
Published: (2010)

Sealed Kurepa Trees
by: Giron, Itamar, et al.
Published: (2023)

Splitting Families, Reaping Families, and Families of Permutations Associated with Asymptotic Density
by: Valderrama, David
Published: (2025)

Negating the Galvin Property
by: Benhamou, Tom, et al.
Published: (2021)

Good projective witnesses
by: Fischer, Vera, et al.
Published: (2019)

Distinguishing Internally Club and Approachable on an Infinite Interval
by: Jakob, Hannes, et al.
Published: (2024)

Two-cardinal ideal operators and indescribability
by: Cody, Brent, et al.
Published: (2022)

Cichoń's maximum with evasion number
by: Yamazoe, Takashi
Published: (2024)

Cichoń's maximum with cardinals of the closed null ideal
by: Yamazoe, Takashi
Published: (2024)

Intermediate models with deep failure of choice
by: Hayut, Yair, et al.
Published: (2024)

A Strong Kurepa Tree
by: Krueger, John
Published: (2025)

A Note on a Theorem of Apter
by: Mohammadpour, Rahman, et al.
Published: (2026)

A note on uniform ultrafilters in a choiceless context
by: Usuba, Toshimichi
Published: (2024)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
by: Watson, Connor
Published: (2024)

A consistency theorem for cardinal sequences of length $< ω_3$
by: Martínez, Juan Carlos, et al.
Published: (2025)