Image de couverture de livre

From Internal to External: Classical Models of ZF + PP + $\neg$AC

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Gilson, Frank
Format:	Preprint
Publié:	2025
Sujets:	Logic 03E25, 03E40, 03G30
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On ultrafilters in ZF models and indecomposable ultrafilters
par: Bilinsky, Eilon, et autres
Publié: (2024)

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

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
par: Andretta, Alessandro, et autres
Publié: (2023)

A generalized Cantor theorem in ZF
par: Peng, Yinhe, et autres
Publié: (2021)

Plenitudinous Urelements and the Definability of Cardinality
par: Yao, Bokai
Publié: (2025)

Axiomatization and Forcing in Set Theory with Urelements
par: Yao, Bokai
Publié: (2022)

Local mantles of $L[x]$
par: Schlutzenberg, Farmer
Publié: (2021)

Abstraction Principles and the Size of Reality
par: Yao, Bokai
Publié: (2025)

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

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
par: Müller, Sandra, et autres
Publié: (2025)

Broad Infinity and Generation Principles
par: Levy, Paul Blain
Publié: (2021)

Eccentricity, extendable choice and descending distributive forcing
par: Ryan-Smith, Calliope
Publié: (2025)

Intermediate models and Kinna--Wagner Principles
par: Karagila, Asaf, et autres
Publié: (2024)

Towards a theory of symmetric extensions
par: Karagila, Asaf, et autres
Publié: (2026)

Upwards homogeneity in iterated symmetric extensions
par: Ryan-Smith, Calliope, et autres
Publié: (2024)

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

Hindman's Theorem in the hierarchy of Choice Principles
par: Fernández-Bretón, David J.
Publié: (2022)

Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations
par: Gilson, Frank
Publié: (2026)

A countable-support symmetric iteration separating PP from AC
par: Gilson, Frank
Publié: (2026)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
par: Gilson, Frank
Publié: (2025)

Forcing More DC Over the Chang Model Using the Thorn Sequence
par: Holland, James, et autres
Publié: (2022)

A Rigid Kurepa Tree From a Free Suslin Tree
par: Krueger, John
Publié: (2023)

Mice with Woodin cardinals from a Reinhardt
par: Schlutzenberg, Farmer
Publié: (2024)

The Axiom of Choice in the $κ$-Mantle
par: Lietz, Andreas
Publié: (2024)

Homogeneous forcing
par: Shelah, Saharon
Publié: (2026)

On forcing axioms and weakenings of the Axiom of Choice
par: Bomfim, Diego Lima, et autres
Publié: (2024)

A note on uniform ultrafilters in a choiceless context
par: Usuba, Toshimichi
Publié: (2024)

On a cofinal Reinhardt embedding without Powerset
par: Jeon, Hanul
Publié: (2024)

Force a set model of $Z_3$ + Harrington's Principle
par: Cheng, Yong
Publié: (2014)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
par: Hamkins, Joel David, et autres
Publié: (2022)

Relative consistency of Set Matrix Theory with ZF
par: Cabbolet, Marcoen J. T. F.
Publié: (2024)

Cardinal invariants associated with the combinatorics of the uniformity number of the ideal of meager-additive sets
par: Cardona, Miguel A.
Publié: (2025)

More about the cofinality and the covering of the ideal of strong measure zero sets
par: Cardona, Miguel A., et autres
Publié: (2023)

The cardinal characteristics of the ideal generated by the $F_σ$ measure zero subsets of the reals
par: Cardona, Miguel A.
Publié: (2024)

Uniformity numbers of the null-additive and meager-additive ideals
par: Cardona, Miguel A., et autres
Publié: (2024)

Aronszajn trees and maximality
par: Ben-Neria, Omer, et autres
Publié: (2023)

Forcing with Symmetric Systems of Models of Two Types
par: Gallart, Curial
Publié: (2022)

A Strongly Non-Saturated Aronszajn Tree Without Weak Kurepa Trees
par: Krueger, John, et autres
Publié: (2025)

Preservation of splitting families and cardinal characteristics of the continuum
par: Goldstern, Martin, et autres
Publié: (2020)

An almost Kurepa Suslin tree with strongly non-saturated square
par: Krueger, John, et autres
Publié: (2024)