:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fischer, Vera, Schembecker, Lukas, Schrittesser, David
Format:	Preprint
Publié:	2023
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2312.16618
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Partitions of Baire space into compact sets
par: Fischer, Vera, et autres
Publié: (2023)

Isomorphism types of definable (maximal) cofinitary groups
par: Schembecker, Lukas
Publié: (2025)

Van Douwen and many non Van Douwen families
par: Schembecker, Lukas
Publié: (2025)

Good projective witnesses
par: Fischer, Vera, et autres
Publié: (2019)

Coanalytic families of functions
par: Millhouse, Julia, et autres
Publié: (2025)

Constructing maximal cofinitary groups
par: Schrittesser, David
Publié: (2021)

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

Definability of maximal cofinitary groups
par: Mejak, Severin, et autres
Publié: (2022)

The happy coexistence of mad families and Laver measurability
par: Tornquist, Asger, et autres
Publié: (2025)

The Ramsey property and higher dimensional mad families
par: Schrittesser, David, et autres
Publié: (2020)

Loeb Extension and Loeb Equivalence II
par: Haosui, Duanmu, et autres
Publié: (2021)

Maximal eventually different families for uniformly weak Ramsey ideals
par: He, Jialiang, et autres
Publié: (2024)

On the cartesian product of well-orderings
par: Vialard, Isa
Publié: (2022)

Generalized almost disjoint families and injective Banach spaces
par: Lambie-Hanson, Chris, et autres
Publié: (2026)

On groups well represented as automorphism groups of groups
par: Asgharzadeh, Mohsen, et autres
Publié: (2024)

Strong Projective Witnesses
par: Fischer, Vera, et autres
Publié: (2026)

A note on the theory of well orders
par: Jeřábek, Emil
Publié: (2024)

Reductions of well-ordering principles to combinatorial theorems
par: Carlucci, Lorenzo, et autres
Publié: (2024)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Partitions of $\mathbb{R}^3$ into unit circles with no well-ordering of the reals
par: Fatalini, Azul
Publié: (2025)

On ordered groups of regular growth rates
par: Bagayoko, Vincent Mamoutou
Publié: (2024)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
par: Abraham, Uri, et autres
Publié: (2023)

The Grothendieck ring of a non-divisible ordered abelian group is trivial
par: Boissonneau, Blaise, et autres
Publié: (2026)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
par: Gullà, Gabriele
Publié: (2024)

A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
par: Hoffelner, Stefan
Publié: (2025)

Coinductive well-foundedness
par: Petrakis, Iosif
Publié: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
par: Herbelin, Hugo
Publié: (2024)

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
par: Hoffelner, Stefan
Publié: (2025)

Conservation of Ramsey's theorem for pairs and well-foundedness
par: Houérou, Quentin Le, et autres
Publié: (2024)

Countability constraints in order-theoretic approaches to computability
par: Hack, Pedro, et autres
Publié: (2022)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Subvarieties of pointed Abelian l-groups
par: Jankovec, Filip
Publié: (2025)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Decomposing graphs into stable and ordered parts
par: Buffière, Hector, et autres
Publié: (2025)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
par: Koberda, Thomas, et autres
Publié: (2023)

First order rigidity of homeomorphism groups of manifolds
par: Kim, Sang-hyun, et autres
Publié: (2023)

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
par: Becker, Justus, et autres
Publié: (2026)

Discrete sets definable in strong expansions of ordered Abelian groups
par: Dolich, Alfred, et autres
Publié: (2022)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
par: Shamkanov, Daniyar
Publié: (2025)