Cover Image

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes

Fuente: arXiv

Saved in:

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

Similar Items

The Gamified Katětov order is not linear (in fact, very much not so)
by: Kihara, Takayuki, et al.
Published: (2026)

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
by: Kihara, Takayuki, et al.
Published: (2026)

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

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

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)

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

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

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

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

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

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

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

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

Intermediate models and Kinna--Wagner Principles
by: Karagila, Asaf, et al.
Published: (2024)

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

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

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)

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)

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

Simultaneously nonvanishing higher derived limits
by: Casarosa, Matteo, et al.
Published: (2024)

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

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

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

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

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

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)

Stratified Toposes
by: Zwanziger, Colin
Published: (2024)

On ordering of surjective cardinals
by: Shen, Guozhen, et al.
Published: (2025)

Amorphous sets and dual Dedekind finiteness
by: Hu, Yifan, et al.
Published: (2025)

A note on surjective cardinals
by: Jin, Jiaheng, et al.
Published: (2024)

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

Critical embeddings
by: Karagila, Asaf, et al.
Published: (2024)

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

A note on dual Dedekind finiteness
by: Mao, Ruihuan, et al.
Published: (2024)

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

Small measurable cardinals
by: Hayut, Yair, et al.
Published: (2022)

The cohomology objects of a semi-abelian variety are small
by: Mattenet, Sébastien, et al.
Published: (2024)