:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fischer, Vera, Schembecker, Lukas, Schrittesser, David
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2312.16618
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Partitions of Baire space into compact sets
by: Fischer, Vera, et al.
Published: (2023)

Isomorphism types of definable (maximal) cofinitary groups
by: Schembecker, Lukas
Published: (2025)

Van Douwen and many non Van Douwen families
by: Schembecker, Lukas
Published: (2025)

Good projective witnesses
by: Fischer, Vera, et al.
Published: (2019)

Coanalytic families of functions
by: Millhouse, Julia, et al.
Published: (2025)

Constructing maximal cofinitary groups
by: Schrittesser, David
Published: (2021)

Definable discrete sets with large continuum
by: Schrittesser, David
Published: (2016)

Definability of maximal cofinitary groups
by: Mejak, Severin, et al.
Published: (2022)

The happy coexistence of mad families and Laver measurability
by: Tornquist, Asger, et al.
Published: (2025)

The Ramsey property and higher dimensional mad families
by: Schrittesser, David, et al.
Published: (2020)

Loeb Extension and Loeb Equivalence II
by: Haosui, Duanmu, et al.
Published: (2021)

Maximal eventually different families for uniformly weak Ramsey ideals
by: He, Jialiang, et al.
Published: (2024)

On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)

Generalized almost disjoint families and injective Banach spaces
by: Lambie-Hanson, Chris, et al.
Published: (2026)

On groups well represented as automorphism groups of groups
by: Asgharzadeh, Mohsen, et al.
Published: (2024)

Strong Projective Witnesses
by: Fischer, Vera, et al.
Published: (2026)

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

Reductions of well-ordering principles to combinatorial theorems
by: Carlucci, Lorenzo, et al.
Published: (2024)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

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

On ordered groups of regular growth rates
by: Bagayoko, Vincent Mamoutou
Published: (2024)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)

The Grothendieck ring of a non-divisible ordered abelian group is trivial
by: Boissonneau, Blaise, et al.
Published: (2026)

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

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

Coinductive well-foundedness
by: Petrakis, Iosif
Published: (2025)

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

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

Conservation of Ramsey's theorem for pairs and well-foundedness
by: Houérou, Quentin Le, et al.
Published: (2024)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Subvarieties of pointed Abelian l-groups
by: Jankovec, Filip
Published: (2025)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)

Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
by: Koberda, Thomas, et al.
Published: (2023)

First order rigidity of homeomorphism groups of manifolds
by: Kim, Sang-hyun, et al.
Published: (2023)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

Discrete sets definable in strong expansions of ordered Abelian groups
by: Dolich, Alfred, et al.
Published: (2022)

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