Plenitudinous Urelements and the Definability of Cardinality
Fuente:
arXiv
Saved in:
| Main Author: | Yao, Bokai |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025)
by: Yao, Bokai
Published: (2025)
Axiomatization and Forcing in Set Theory with Urelements
by: Yao, Bokai
Published: (2022)
by: Yao, Bokai
Published: (2022)
Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)
by: Hamkins, Joel David, et al.
Published: (2022)
Hindman's Theorem in the hierarchy of Choice Principles
by: Fernández-Bretón, David J.
Published: (2022)
by: Fernández-Bretón, David J.
Published: (2022)
A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)
by: Müller, Sandra, et al.
Published: (2025)
Forcing More DC Over the Chang Model Using the Thorn Sequence
by: Holland, James, et al.
Published: (2022)
by: Holland, James, et al.
Published: (2022)
The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)
by: Jeon, Hanul, et al.
Published: (2026)
Forcing Axioms and construction schemes
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2025)
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2025)
Ultrafilters in the random real model
by: Dow, Alan, et al.
Published: (2025)
by: Dow, Alan, et al.
Published: (2025)
On Indestructible Strongly Guessing Models
by: Mohammadpour, Rahman, et al.
Published: (2023)
by: Mohammadpour, Rahman, et al.
Published: (2023)
A Road To Compactness Through Guessing Models
by: Mohammadpour, Rahman
Published: (2022)
by: Mohammadpour, Rahman
Published: (2022)
On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$
by: Schlutzenberg, Farmer
Published: (2020)
by: Schlutzenberg, Farmer
Published: (2020)
On a cofinal Reinhardt embedding without Powerset
by: Jeon, Hanul
Published: (2024)
by: Jeon, Hanul
Published: (2024)
The Axiom of Choice in the $κ$-Mantle
by: Lietz, Andreas
Published: (2024)
by: Lietz, Andreas
Published: (2024)
On ultrafilters in ZF models and indecomposable ultrafilters
by: Bilinsky, Eilon, et al.
Published: (2024)
by: Bilinsky, Eilon, et al.
Published: (2024)
Homogeneous forcing
by: Shelah, Saharon
Published: (2026)
by: Shelah, Saharon
Published: (2026)
A note on uniform ultrafilters in a choiceless context
by: Usuba, Toshimichi
Published: (2024)
by: Usuba, Toshimichi
Published: (2024)
Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)
by: Cheng, Yong
Published: (2014)
Cardinal invariants of idealized Miller null sets
by: Cieślak, Aleksander, et al.
Published: (2026)
by: Cieślak, Aleksander, et al.
Published: (2026)
Cardinal invariants associated with the combinatorics of the uniformity number of the ideal of meager-additive sets
by: Cardona, Miguel A.
Published: (2025)
by: Cardona, Miguel A.
Published: (2025)
Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
by: Lietz, Andreas
Published: (2024)
by: Lietz, Andreas
Published: (2024)
Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?
by: Karagila, Asaf, et al.
Published: (2023)
by: Karagila, Asaf, et al.
Published: (2023)
Librationism & its classical and extraclassical set theories
by: Bjørdal, Frode A.
Published: (2022)
by: Bjørdal, Frode A.
Published: (2022)
Intermediate models with deep failure of choice
by: Hayut, Yair, et al.
Published: (2024)
by: Hayut, Yair, et al.
Published: (2024)
Compactness for small cardinals in mathematics: principles, consequences, and limitations
by: Honzik, Radek
Published: (2025)
by: Honzik, Radek
Published: (2025)
There may be an $n$-entangled set but no $n+1$-entangled sets
by: Chapital, Jorge Antonio Cruz
Published: (2025)
by: Chapital, Jorge Antonio Cruz
Published: (2025)
A note on Łoś's Theorem without the Axiom of Choice
by: Usuba, Toshimichi
Published: (2023)
by: Usuba, Toshimichi
Published: (2023)
Multiple gaps and some finitizations of club and CH
by: Chapital, Jorge Antonio Cruz
Published: (2025)
by: Chapital, Jorge Antonio Cruz
Published: (2025)
$Σ_n$-correct Forcing Axioms
by: Goodman, Ben
Published: (2024)
by: Goodman, Ben
Published: (2024)
Increasing the second uniform indiscernible by strongly ssp forcing
by: De Bondt, Ben, et al.
Published: (2022)
by: De Bondt, Ben, et al.
Published: (2022)
Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
by: Watson, Connor
Published: (2024)
by: Watson, Connor
Published: (2024)
Broad Infinity and Generation Principles
by: Levy, Paul Blain
Published: (2021)
by: Levy, Paul Blain
Published: (2021)
A Non-Constructive Proof of Cantor's Theorem
by: Salehi, Saeed
Published: (2025)
by: Salehi, Saeed
Published: (2025)
Eccentricity, extendable choice and descending distributive forcing
by: Ryan-Smith, Calliope
Published: (2025)
by: Ryan-Smith, Calliope
Published: (2025)
The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)
by: Gitik, Moti, et al.
Published: (2024)
Cardinal invariants related to density
by: Valderrama, David
Published: (2024)
by: Valderrama, David
Published: (2024)
New consequences of PFA($T^*$)
by: Martínez-Ranero, Carlos, et al.
Published: (2025)
by: Martínez-Ranero, Carlos, et al.
Published: (2025)
Proxy principles in combinatorial set theory
by: Brodsky, Ari Meir, et al.
Published: (2024)
by: Brodsky, Ari Meir, et al.
Published: (2024)
Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
by: Kanovei, Vladimir, et al.
Published: (2025)
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)
by: Kanovei, Vladimir, et al.
Published: (2024)
Similar Items
-
Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025) -
Axiomatization and Forcing in Set Theory with Urelements
by: Yao, Bokai
Published: (2022) -
Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022) -
Hindman's Theorem in the hierarchy of Choice Principles
by: Fernández-Bretón, David J.
Published: (2022) -
A model with fragments of projective determinacy and failures of $\mathsf{DC}$
by: Müller, Sandra, et al.
Published: (2025)