Cover Image

Necessary and Sufficient Conditions for Proving Choice in Zermelo-Fraenkel Set Theory

Fuente: arXiv

Saved in:

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

Similar Items

Cardinal Well-foundedness and Choice
by: Blass, Andreas, et al.
Published: (2023)

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

On forcing axioms and weakenings of the Axiom of Choice
by: Bomfim, Diego Lima, et al.
Published: (2024)

A Gentle Introduction to the Axiom of Choice
by: Blass, Andreas, et al.
Published: (2025)

Intersection Games and Bernstein Sets
by: Atchley, James, et al.
Published: (2023)

Geometric condition for Dependent Choice
by: Karagila, Asaf, et al.
Published: (2022)

A General Theory of Class Symmetric Systems
by: Holy, Peter, et al.
Published: (2026)

A note on Łoś's Theorem without the Axiom of Choice
by: Usuba, Toshimichi
Published: (2023)

The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)

The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)

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

Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?
by: Karagila, Asaf, et al.
Published: (2023)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
by: Kanovei, Vladimir, et al.
Published: (2024)

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

Cantor's Non-Equinumerosity Theorems, Inductively
by: Salehi, Saeed
Published: (2025)

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

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

Funicular preorders can be prelinearized without nonprincipal ultrafilters over $\mathbb N$
by: Fatalini, Azul, et al.
Published: (2026)

Dedekind-finite cardinals having countable partitions
by: Panasawatwong, Supakun, et al.
Published: (2022)

Homogeneous forcing
by: Shelah, Saharon
Published: (2026)

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

Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)

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

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
by: Kanovei, Vladimir, et al.
Published: (2025)

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

Conditional algebras
by: Celani, Sergio, et al.
Published: (2024)

Local mantles of $L[x]$
by: Schlutzenberg, Farmer
Published: (2021)

Mice with Woodin cardinals from a Reinhardt
by: Schlutzenberg, Farmer
Published: (2024)

Plenitudinous Urelements and the Definability of Cardinality
by: Yao, Bokai
Published: (2025)

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

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

A Non-Constructive Proof of Cantor's Theorem
by: Salehi, Saeed
Published: (2025)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)

Variants of Łoś's Theorem
by: Usuba, Toshimichi
Published: (2025)

The finitary partitions with $n$ non-singleton blocks of a set
by: Hu, Yifan, et al.
Published: (2024)

Local reflections of choice
by: Ryan-Smith, Calliope
Published: (2024)

Approaching a Bristol model
by: Karagila, Asaf
Published: (2020)

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions
by: Ryan-Smith, Calliope
Published: (2023)

Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025)