Imagen de Portada

Symmetric Iterations with Countable and $<κ$-Support: A Framework for Choiceless ZF Extensions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Gilson, Frank
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03E35
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

On ultrafilters in ZF models and indecomposable ultrafilters
por: Bilinsky, Eilon, et al.
Publicado: (2024)

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

A countable-support symmetric iteration separating PP from AC
por: Gilson, Frank
Publicado: (2026)

Total Failure of Approachability at Successors of Singulars of Countable Cofinality
por: Jakob, Hannes
Publicado: (2025)

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
por: Schlutzenberg, Farmer
Publicado: (2020)

The Axiom of Choice in the $κ$-Mantle
por: Lietz, Andreas
Publicado: (2024)

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

Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
por: Honzik, Radek, et al.
Publicado: (2023)

Forcing with Symmetric Systems of Models of Two Types
por: Gallart, Curial
Publicado: (2022)

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

An Iteration Theorem for $ω_1$-preserving Forcings
por: Lietz, Andreas
Publicado: (2024)

The $κ$-Strongly Proper Forcing Axiom
por: Asperó, David, et al.
Publicado: (2019)

Iterating Generalised Perfect Set Forcing Along Well-Founded Orders
por: Džamonja, Mirna
Publicado: (2026)

$κ$-barely independent families and Tukey types of ultrafilters
por: Chapital, Jorge Antonio Cruz
Publicado: (2025)

A generalized Cantor theorem in ZF
por: Peng, Yinhe, et al.
Publicado: (2021)

The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
por: Tall, Franklin D., et al.
Publicado: (2024)

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

Iteration theorems for subversions of forcing classes
por: Fuchs, Gunter, et al.
Publicado: (2020)

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

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

Definable discrete sets with large continuum
por: Schrittesser, David
Publicado: (2016)

On disjoint stationary sequences
por: Levine, Maxwell
Publicado: (2023)

Cardinal invariants related to density
por: Valderrama, David
Publicado: (2024)

Introducing a nontrivial square_omega
por: Dolinar, Gregor K., et al.
Publicado: (2010)

Sealed Kurepa Trees
por: Giron, Itamar, et al.
Publicado: (2023)

Negating the Galvin Property
por: Benhamou, Tom, et al.
Publicado: (2021)

Good projective witnesses
por: Fischer, Vera, et al.
Publicado: (2019)

Evasion numbers via zero-prediction
por: Yamazoe, Takashi
Publicado: (2026)

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

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

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

Cichoń's maximum with evasion number
por: Yamazoe, Takashi
Publicado: (2024)

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

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

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

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

A Strong Kurepa Tree
por: Krueger, John
Publicado: (2025)

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