Cover Image

Axiomatization and Forcing in Set Theory with Urelements

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Yao, Bokai
Format:	Preprint
Published:	2022
Subjects:	Logic 03E30, 03E40
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)

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

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
by: Hamkins, Joel David, et al.
Published: (2022)

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

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

Forcing, genericity and CBERS
by: Calderoni, Filippo, et al.
Published: (2025)

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

Forcing Over a Free Suslin Tree
by: Krueger, John, et al.
Published: (2024)

Forcing with Symmetric Systems of Models of Two Types
by: Gallart, Curial
Published: (2022)

Forcing techniques for Cichoń's Maximum: Lecture notes for the mini-course at the University of Vienna
by: Mejía, Diego A.
Published: (2024)

Open Problems in Computability Theory and Descriptive Set Theory
by: Barmpalias, George, et al.
Published: (2025)

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

Generically extendible cardinals
by: Usuba, Toshimichi
Published: (2022)

Suslin tree preservation and club isomorphisms
by: Krueger, John
Published: (2022)

Preservation of splitting families and cardinal characteristics of the continuum
by: Goldstern, Martin, et al.
Published: (2020)

An almost Kurepa Suslin tree with strongly non-saturated square
by: Krueger, John, et al.
Published: (2024)

Varsovian models II
by: Sargsyan, Grigor, et al.
Published: (2021)

Properties of Laver forcing associated with a co-ideal expressed via the Katetov order
by: la Rosa, Francisco Santiago Nieto-de, et al.
Published: (2026)

Separating cardinal characteristics of the strong measure zero ideal
by: Brendle, Jörg, et al.
Published: (2023)

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

Local mantles of $L[x]$
by: Schlutzenberg, Farmer
Published: (2021)

More about the cofinality and the covering of the ideal of strong measure zero sets
by: Cardona, Miguel A., et al.
Published: (2023)

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)

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

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

Adding $\aleph_ω$ many Cohen reals
by: Marun, Pedro, et al.
Published: (2025)

A Rigid Kurepa Tree From a Free Suslin Tree
by: Krueger, John
Published: (2023)

Adding cofinal countable sequences through multiple regular cardinals by ssp forcing
by: De Bondt, Ben, et al.
Published: (2025)

Revisiting $\mathfrak b$ and $\mathfrak d$ through Interval Structures
by: Cardona, Miguel A., et al.
Published: (2026)

Adding the constant evasion and constant prediction numbers to Cichoń's maximum
by: Cardona, Miguel A., et al.
Published: (2025)

Constant prediction and evasion number, I: Generalization and variants
by: Cardona, Miguel A., et al.
Published: (2025)

Forcing as a Local Method of Accessing Small Extensions
by: Lau, Desmond
Published: (2024)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)

Soft-linkedness
by: Cardona, Miguel A.
Published: (2024)

On a Conjecture Regarding the Mouse Order for Weasels
by: Kruschewski, Jan, et al.
Published: (2022)

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

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

Iteration theorems for subversions of forcing classes
by: Fuchs, Gunter, et al.
Published: (2020)

Eccentricity, extendable choice and descending distributive forcing
by: Ryan-Smith, Calliope
Published: (2025)