Buchumschlag

Cofinitary groups and projective well-orders

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fischer, Vera, Schembecker, Lukas, Schrittesser, David
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Partitions of Baire space into compact sets
von: Fischer, Vera, et al.
Veröffentlicht: (2023)

Isomorphism types of definable (maximal) cofinitary groups
von: Schembecker, Lukas
Veröffentlicht: (2025)

Van Douwen and many non Van Douwen families
von: Schembecker, Lukas
Veröffentlicht: (2025)

Good projective witnesses
von: Fischer, Vera, et al.
Veröffentlicht: (2019)

Coanalytic families of functions
von: Millhouse, Julia, et al.
Veröffentlicht: (2025)

Constructing maximal cofinitary groups
von: Schrittesser, David
Veröffentlicht: (2021)

Definable discrete sets with large continuum
von: Schrittesser, David
Veröffentlicht: (2016)

Definability of maximal cofinitary groups
von: Mejak, Severin, et al.
Veröffentlicht: (2022)

The happy coexistence of mad families and Laver measurability
von: Tornquist, Asger, et al.
Veröffentlicht: (2025)

The Ramsey property and higher dimensional mad families
von: Schrittesser, David, et al.
Veröffentlicht: (2020)

Loeb Extension and Loeb Equivalence II
von: Haosui, Duanmu, et al.
Veröffentlicht: (2021)

Maximal eventually different families for uniformly weak Ramsey ideals
von: He, Jialiang, et al.
Veröffentlicht: (2024)

On the cartesian product of well-orderings
von: Vialard, Isa
Veröffentlicht: (2022)

On groups well represented as automorphism groups of groups
von: Asgharzadeh, Mohsen, et al.
Veröffentlicht: (2024)

Reductions of well-ordering principles to combinatorial theorems
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2024)

Strong Projective Witnesses
von: Fischer, Vera, et al.
Veröffentlicht: (2026)

A note on the theory of well orders
von: Jeřábek, Emil
Veröffentlicht: (2024)

Generalized almost disjoint families and injective Banach spaces
von: Lambie-Hanson, Chris, et al.
Veröffentlicht: (2026)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

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

The Grothendieck ring of a non-divisible ordered abelian group is trivial
von: Boissonneau, Blaise, et al.
Veröffentlicht: (2026)

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

On ordered groups of regular growth rates
von: Bagayoko, Vincent Mamoutou
Veröffentlicht: (2024)

Coinductive well-foundedness
von: Petrakis, Iosif
Veröffentlicht: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
von: Abraham, Uri, et al.
Veröffentlicht: (2023)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
von: Gullà, Gabriele
Veröffentlicht: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

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

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

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Subvarieties of pointed Abelian l-groups
von: Jankovec, Filip
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
von: Shamkanov, Daniyar
Veröffentlicht: (2025)

Decomposing graphs into stable and ordered parts
von: Buffière, Hector, et al.
Veröffentlicht: (2025)

Scott analysis, linear orders and almost periodic functions
von: Gonzalez, David, et al.
Veröffentlicht: (2024)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
von: Meretzky, David, et al.
Veröffentlicht: (2026)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)