:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Holy, Peter, Palmer, Emma, Schilhan, Jonathan
Format:	Preprint
Published:	2026
Subjects:	Logic 03E25, 03E70
Online Access:	https://arxiv.org/abs/2603.29521
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

Broad Infinity and Generation Principles
by: Levy, Paul Blain
Published: (2021)

$Σ^1_3$ sets in the Sacks model
by: Schilhan, Jonathan
Published: (2025)

The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
by: Gardiner, Lyra A., et al.
Published: (2026)

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

Noetherian Properties, Large Cardinals, and Independence Around $\aleph_ω$
by: Soukup, Lajos, et al.
Published: (2025)

On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)

Transcendence degrees over mutually generic extensions
by: Schilhan, Jonathan
Published: (2025)

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

Wetzel families and the continuum
by: Schilhan, Jonathan, et al.
Published: (2023)

Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
by: Gardiner, Lyra A., et al.
Published: (2026)

NF is Consistent
by: Holmes, M. Randall, et al.
Published: (2015)

Models for short sequences of measures in the cofinality-$ω$ constructible model
by: Ya'ar, Ur
Published: (2021)

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

An equiconsistency proof for $\mathrm{CZF} + V = L$
by: Wang, Shuwei
Published: (2026)

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

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

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)

On forcing axioms and weakenings of the Axiom of Choice
by: Bomfim, Diego Lima, 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)

Librationism & its classical and extraclassical set theories
by: Bjørdal, Frode A.
Published: (2022)

Very large set axioms over constructive set theories
by: Jeon, Hanul, et al.
Published: (2022)

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

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

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

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)

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

Effective infinitesimals in R
by: Hrbacek, Karel, et al.
Published: (2023)