Cover Image

The Axiom of Double Complement and its opposites

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jeon, Hanul, Hanson, James E.
Format:	Preprint
Published:	2026
Subjects:	Logic 03E70, 03F65, 03E35, 03F25
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

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

Martin's measurable dilator
by: Jeon, Hanul
Published: (2025)

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

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

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

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

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

Forcing Axioms and construction schemes
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2025)

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

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

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

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

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

$Σ_n$-correct Forcing Axioms
by: Goodman, Ben
Published: (2024)

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

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

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

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

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

Some notes on plump ordinals
by: Wang, Shuwei
Published: (2026)

On Recurrence Axioms
by: Fuchino, Sakaé, et al.
Published: (2024)

Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)

On inverse Goodstein sequences
by: Uftring, Patrick
Published: (2023)

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

On Indestructible Strongly Guessing Models
by: Mohammadpour, Rahman, et al.
Published: (2023)

A Road To Compactness Through Guessing Models
by: Mohammadpour, Rahman
Published: (2022)

Ultrafilters in the random real model
by: Dow, Alan, et al.
Published: (2025)

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

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

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

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

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

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

Forcing Axioms, the Uniformization and the Basis Property
by: Hoffelner, Stefan
Published: (2020)

Baumgartner's Axiom and Small Posets
by: Marun, Pedro, et al.
Published: (2025)

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

Martin's Axiom and Weak Kurepa Hypothesis
by: Mohammadpour, Rahman
Published: (2024)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)