Image de couverture de livre

Forcing with random variables in bounded arithmetics and set theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Honzik, Radek
Format:	Preprint
Publié:	2026
Sujets:	Logic 03E35, 03C90, 03C50, 03H15
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Compactness for small cardinals in mathematics: principles, consequences, and limitations
par: Honzik, Radek
Publié: (2025)

Classifying the complexity of models of arithmetic
par: Gonzalez, David, et autres
Publié: (2025)

Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
par: Honzik, Radek, et autres
Publié: (2023)

Coordinate recognition: General theory, Groups, and other surprises
par: Farah, I., et autres
Publié: (2025)

On models of affine arithmetic
par: Bagheri, Seyed-Mohammad
Publié: (2025)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
par: Sun, Mengzhou
Publié: (2024)

What model companionship can say about the Continuum problem
par: Venturi, Giorgio, et autres
Publié: (2022)

Forcing "$\mathrm{NS}_{ω_1}$ is $ω_1$-dense" From Large Cardinals
par: Lietz, Andreas
Publié: (2024)

On the categoricity of complete second order theories
par: Saarinen, Tapio, et autres
Publié: (2024)

The generalized continuous model theory, Borel complexity and stability
par: Ivanov, Aleksander
Publié: (2026)

The Borel complexity of the class of models of first-order theories
par: Andrews, Uri, et autres
Publié: (2024)

Borel Conjecture for the Marczewski ideal
par: Brendle, Joerg, et autres
Publié: (2024)

Forcing Axioms, the Uniformization and the Basis Property
par: Hoffelner, Stefan
Publié: (2020)

Notions of rank and independence in countably categorical theories
par: Koponen, Vera
Publié: (2025)

Forcing upper $Σ$-uniformization in the presence of lower $Π$-reduction or uniformization
par: Hoffelner, Stefan
Publié: (2025)

$Σ^1_3$ sets in the Sacks model
par: Schilhan, Jonathan
Publié: (2025)

Counting Sets with Surnatural Numbers
par: Lynch, Peter, et autres
Publié: (2023)

Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization
par: Hoffelner, Stefan
Publié: (2020)

Definable discrete sets with large continuum
par: Schrittesser, David
Publié: (2016)

Categoricity and non-arithmetic Fuchsian groups
par: Baldwin, John, et autres
Publié: (2026)

There may be an $n$-entangled set but no $n+1$-entangled sets
par: Chapital, Jorge Antonio Cruz
Publié: (2025)

The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
par: Tall, Franklin D., et autres
Publié: (2024)

Echeloned saturation and forcing axioms
par: Garti, Shimon
Publié: (2024)

Martin's Axiom and Weak Kurepa Hypothesis
par: Mohammadpour, Rahman
Publié: (2024)

Tight Eventually Different Families
par: Fischer, Vera, et autres
Publié: (2021)

Trivial Isomorphisms between Reduced Products
par: De Bondt, Ben, et autres
Publié: (2023)

Variants of Baumgartner's Axiom for Lipschitz Functions on Baire and Cantor Space
par: Switzer, Corey Bacal
Publié: (2025)

Baumgartner's Axiom and Small Posets
par: Marun, Pedro, et autres
Publié: (2025)

Flatness and Nonforking without the Continuum Hypothesis
par: Majozi, Philani Rodney
Publié: (2025)

A Complete Bounded Theory with Unbounded Types
par: Zhu, Hongyu
Publié: (2026)

Isomorphism of almost locally compact Polish metric structures
par: Malicki, Maciej
Publié: (2025)

A metric lifting theorem
par: De Bondt, Ben, et autres
Publié: (2024)

Borel complexity of families of finite equivalence relations via large cardinals
par: Laskowski, Michael C., et autres
Publié: (2024)

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations
par: Banerjee, Rishi, et autres
Publié: (2024)

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

Some contributions to presheaf model theory
par: Brunner, Andreas, et autres
Publié: (2024)

Generalized Descriptive Set Theory and Classification Theory
par: Friedman, Sy-David, et autres
Publié: (2012)

A characterization of Continuous Logic by using quantale-valued logics
par: Reyes, David, et autres
Publié: (2021)

Some contributions to presheaf model theory, II -- back and forth
par: Brunner, Andreas, et autres
Publié: (2026)

Corona Rigidity
par: Farah, Ilijas, et autres
Publié: (2022)