:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Hrbacek, Karel
Format:	Preprint
Published:	2024
Subjects:	Logic 26E35
Online Access:	https://arxiv.org/abs/2405.00621
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Effective infinitesimals in R
by: Hrbacek, Karel, et al.
Published: (2023)

Nonstandard Universes
by: Ouwehand, Peter
Published: (2025)

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

Hyperreal differentiation with an idempotent ultrafilter
by: Alexander, Samuel Allen, et al.
Published: (2024)

Nonstandard arguments for results about infinite systems of equations in infinitely many variables
by: Ross, David A.
Published: (2024)

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

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

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

Martin's Axiom, Large Continuum and Global $Σ^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2026)

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

Open Colorings and Baumgartner's Axiom
by: Notaro, Lorenzo
Published: (2026)

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

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

The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)

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

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

Generalized functions with infinitesimals
by: Vernaeve, Hans
Published: (2025)

A density version of a theorem of Banach
by: Ross, David A.
Published: (2024)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
by: Krueger, John
Published: (2026)

Counting Sets with Surnatural Numbers
by: Lynch, Peter, et al.
Published: (2023)

The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
by: Hoffelner, Stefan, et al.
Published: (2022)

Geometric condition for Dependent Choice
by: Karagila, Asaf, et al.
Published: (2022)

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

The Logic of Cardinality Comparison Without the Axiom of Choice
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

The uncountability of the reals and the Axiom of Choice
by: Normann, Dag, et al.
Published: (2026)

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)

A Gentle Introduction to the Axiom of Choice
by: Blass, Andreas, et al.
Published: (2025)

A nonstandard proof of de Finetti's theorem
by: Alam, Irfan
Published: (2019)

On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
by: Serafin, Luke
Published: (2024)

Limiting Probability Measures
by: Alam, Irfan
Published: (2019)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
by: Gilson, Frank
Published: (2025)

Diamond on Kurepa trees
by: Kostana, Ziemowit, et al.
Published: (2024)

Universal wide Aronszajn tree
by: Kivimäki, Siiri
Published: (2025)

A countable-support symmetric iteration separating PP from AC
by: Gilson, Frank
Published: (2026)

Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$)
by: Manríquez, Jonathan Cancino
Published: (2025)

A note on iterating strongly $(<λ)$-closed stationary $λ^+$-cc forcing
by: Džamonja, Mirna
Published: (2026)

Iterating Generalised Perfect Set Forcing Along Well-Founded Orders
by: Džamonja, Mirna
Published: (2026)

Universal countably chromatic graph
by: Kivimäki, Siiri
Published: (2025)