:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Adam-Day, Bea, Howe, John, Mennuni, Rosario
Format:	Preprint
Veröffentlicht:	2019
Schlagworte:	Logic 03C62 (Primary) 03C13, 03E30, 03E65 (Secondary)
Online-Zugang:	https://arxiv.org/abs/1908.02708
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Some definable types that cannot be amalgamated
von: Hils, Martin, et al.
Veröffentlicht: (2022)

New consequences of PFA($T^*$)
von: Martínez-Ranero, Carlos, et al.
Veröffentlicht: (2025)

Proxy principles in combinatorial set theory
von: Brodsky, Ari Meir, et al.
Veröffentlicht: (2024)

$Σ_n$-correct Forcing Axioms
von: Goodman, Ben
Veröffentlicht: (2024)

Increasing the second uniform indiscernible by strongly ssp forcing
von: De Bondt, Ben, et al.
Veröffentlicht: (2022)

Broad Infinity and Generation Principles
von: Levy, Paul Blain
Veröffentlicht: (2021)

Categoricity and amalgamation for AEC and $ κ$ measurable
von: Kolman, Oren, et al.
Veröffentlicht: (1996)

The Hartogs-Lindenbaum Spectrum of Symmetric Extensions
von: Ryan-Smith, Calliope
Veröffentlicht: (2023)

Marginalia to a Theorem of Asperó and Schindler
von: Kasum, Obrad, et al.
Veröffentlicht: (2023)

Universality properties of forcing
von: Parente, Francesco, et al.
Veröffentlicht: (2023)

Satisfaction classes with approximate disjunctive correctness
von: Enayat, Ali
Veröffentlicht: (2023)

More on expressibility of satisfiability in submodels and extensions
von: Poliakov, Nikolai L., et al.
Veröffentlicht: (2026)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
von: Sun, Mengzhou
Veröffentlicht: (2024)

The Borel complexity of the class of models of first-order theories
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Self-divisible ultrafilters and congruences in $β\mathbb{Z}$
von: Di Nasso, Mauro, et al.
Veröffentlicht: (2023)

Inner models from extended logics and the Delta-operation
von: Väänänen, Jouko, et al.
Veröffentlicht: (2025)

Vector spaces with a union of independent subspaces
von: Berarducci, Alessandro, et al.
Veröffentlicht: (2022)

Compactness and Symmetric Well Orders
von: Dasgupta, Abhijit
Veröffentlicht: (2022)

The domination monoid in o-minimal theories
von: Mennuni, Rosario
Veröffentlicht: (2020)

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

Plenitudinous Urelements and the Definability of Cardinality
von: Yao, Bokai
Veröffentlicht: (2025)

Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals
von: Cardona, Miguel Antonio, et al.
Veröffentlicht: (2021)

A model for global compactness
von: Jirattikansakul, Sittinon, et al.
Veröffentlicht: (2024)

Classifying the complexity of models of arithmetic
von: Gonzalez, David, et al.
Veröffentlicht: (2025)

Coordinate recognition: General theory, Groups, and other surprises
von: Farah, I., et al.
Veröffentlicht: (2025)

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

The Borel monadic theory of order is decidable
von: Manthe, Sven
Veröffentlicht: (2024)

Deconstructible classes of modules and stability
von: Mazari-Armida, Marcos, et al.
Veröffentlicht: (2025)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2022)

Axiom Beta Implies Elementary Transfinite Recursion
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2026)

A Complete Bounded Theory with Unbounded Types
von: Zhu, Hongyu
Veröffentlicht: (2026)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
von: Krueger, John
Veröffentlicht: (2026)

Orthogonality and domination in o-minimal expansions of ordered groups
von: Guerrero, Pablo Andújar, et al.
Veröffentlicht: (2025)

Models for short sequences of measures in the cofinality-$ω$ constructible model
von: Ya'ar, Ur
Veröffentlicht: (2021)

Two $\mathfrak{b}$ or not two $\mathfrak{b}$?
von: Filipów, Rafał, et al.
Veröffentlicht: (2025)

Any function I can actually write down is measurable, right?
von: Hanson, James E.
Veröffentlicht: (2025)

Intermediate models and Kinna--Wagner Principles
von: Karagila, Asaf, et al.
Veröffentlicht: (2024)

Counting Sets with Surnatural Numbers
von: Lynch, Peter, et al.
Veröffentlicht: (2023)

Three forms of the Erdős-Dushnik-Miller Theorem
von: Howard, Paul, et al.
Veröffentlicht: (2024)