Copertina

A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Bosserhoff, Volker
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03D45
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A non-computable c.e. closed subset of $[0,1]$
di: Badaev, Serikzhan, et al.
Pubblicazione: (2025)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
di: Rauzy, Emmanuel
Pubblicazione: (2023)

New definitions in the theory of Type 1 computable topological spaces
di: Rauzy, Emmanuel
Pubblicazione: (2023)

On a Conjecture Regarding the Mouse Order for Weasels
di: Kruschewski, Jan, et al.
Pubblicazione: (2022)

Isomorphism Spectra and Computably Composite Structures
di: Lakerdas-Gayle, Joey
Pubblicazione: (2025)

On the computability of cofinal Fraïssé limits
di: Ackerman, Nathanael, et al.
Pubblicazione: (2026)

Finitely Bounded Homogeneity Turned Inside-Out
di: Rydval, Jakub
Pubblicazione: (2021)

Analysis of HOD for Admissible Structures
di: Kruschewski, Jan, et al.
Pubblicazione: (2025)

On Cohesive Products of Fields
di: Dimitrov, Rumen, et al.
Pubblicazione: (2026)

Online and feasible presentability: from trees to modal algebras
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2025)

Computability for tree presentations of continuum-size structures
di: Block, Jason, et al.
Pubblicazione: (2025)

Automatic structures and the problem of natural well-orderings
di: Beklemishev, Lev D., et al.
Pubblicazione: (2024)

Strong reducibilities and set theory
di: Schweber, Noah
Pubblicazione: (2024)

Sheaves as oracle computations
di: Ahman, Danel, et al.
Pubblicazione: (2026)

Computable Gelfand Duality
di: Burton, Peter, et al.
Pubblicazione: (2024)

A proof system for the positive fragment of GL
di: Tanaka, Yoshihito
Pubblicazione: (2026)

Scott sentence complexities of linear orderings
di: Gonzalez, David, et al.
Pubblicazione: (2023)

Clarifying ordinals
di: Schweber, Noah
Pubblicazione: (2024)

Twins: non-isomorphic models forced to be isomorphic. Part I
di: Shelah, Saharon
Pubblicazione: (2025)

On the unification problem for GLP
di: Beklemishev, Lev D.
Pubblicazione: (2024)

Visser frames for sublogics of $\mathbf{IL}$
di: Okawa, Yuya, et al.
Pubblicazione: (2022)

The definability of the extender sequence $\mathbb{E}$ from $\mathbb{E}{\upharpoonright}\aleph_1$ in $L[\mathbb{E}]$
di: Schlutzenberg, Farmer
Pubblicazione: (2019)

Computability in infinite Galois theory and algorithmically random algebraic fields
di: Calvert, Wesley, et al.
Pubblicazione: (2023)

A $wtt$-introimmune set in \texorpdfstring{$Π^0_1$}{Pi01} and introimmunity for several reducibilities
di: Cintioli, Patrizio
Pubblicazione: (2026)

Intuitionistic Sahlqvist theory for deductive systems
di: Fornasiere, Damiano, et al.
Pubblicazione: (2022)

Lewis and Brouwer meet Strong Löb
di: Visser, Albert, et al.
Pubblicazione: (2024)

When does $\aleph_1$-categoricity imply $ω$-stability?
di: Baldwin, John T., et al.
Pubblicazione: (2023)

Cut-free sequent calculi for the provability logic D
di: Kashima, Ryo, et al.
Pubblicazione: (2023)

Ordinal definability in $L[\mathbb{E}]$
di: Schlutzenberg, Farmer
Pubblicazione: (2020)

Computable vs Descriptive Combinatorics of Local Problems on Trees
di: Weilacher, Felix
Pubblicazione: (2022)

A note on one-variable theorems for NSOP
di: Johnson, Will
Pubblicazione: (2025)

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types
di: Hanson, James E.
Pubblicazione: (2025)

Existence in NSOP$_1$ theories
di: Kim, Byunghan, et al.
Pubblicazione: (2024)

Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2024)

Power $Σ_1$ in Card with two Woodin cardinals
di: Schlutzenberg, Farmer
Pubblicazione: (2025)

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

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

Equivalents of NOTOP
di: Laskowski, Michael C., et al.
Pubblicazione: (2025)

Indiscernible extraction at small large cardinals from a higher-arity stability notion
di: Hanson, James E.
Pubblicazione: (2025)