Cover Image

Abstraction Principles and the Size of Reality

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Yao, Bokai
Format:	Preprint
Published:	2025
Subjects:	Logic 03A05, 03E25, 03E30, 03E35
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Compactness for small cardinals in mathematics: principles, consequences, and limitations
by: Honzik, Radek
Published: (2025)

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

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)

What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)

Force a set model of $Z_3$ + Harrington's Principle
by: Cheng, Yong
Published: (2014)

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)

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

More separations of cardinal characteristics of the strong measure zero ideal
by: Cardona, Miguel A., et al.
Published: (2025)

Weight, net weight, and elementary submodels
by: Dow, Alan, et al.
Published: (2025)

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

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)

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

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

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

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

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

Higher walks and squares
by: Lambie-Hanson, Chris, et al.
Published: (2025)

Failure of Approachability at the Successor of the first Singular for any Cofinality
by: Jakob, Hannes, et al.
Published: (2025)

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

Cardinal invariants associated with the combinatorics of the uniformity number of the ideal of meager-additive sets
by: Cardona, Miguel A.
Published: (2025)

The cardinal characteristics of the ideal generated by the $F_σ$ measure zero subsets of the reals
by: Cardona, Miguel A.
Published: (2024)

Uniformity numbers of the null-additive and meager-additive ideals
by: Cardona, Miguel A., et al.
Published: (2024)

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

Aronszajn trees and maximality
by: Ben-Neria, Omer, et al.
Published: (2023)

On cardinal invariants related to Rosenthal families and large-scale topology
by: Martínez-Celis, Arturo, et al.
Published: (2024)

Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
by: Honzik, Radek, et al.
Published: (2023)

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

Total Failure of Approachability at Successors of Singulars of Countable Cofinality
by: Jakob, Hannes
Published: (2025)

A Strong Kurepa Tree
by: Krueger, John
Published: (2025)

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

A Strongly Non-Saturated Aronszajn Tree Without Weak Kurepa Trees
by: Krueger, John, et al.
Published: (2025)

Directed schemes of ideals and cardinal characteristics, I: the meager additive ideal
by: Cardona, Miguel A., et al.
Published: (2025)

Laver ultrafilters
by: Horvath, Silvan, et al.
Published: (2026)

Chang's Conjectures and Easton collapses
by: Eskew, Monroe, et al.
Published: (2024)

Almost Kurepa Suslin trees and destructibility of the Guessing Model Property
by: Lambie-Hanson, Chris, et al.
Published: (2026)