Copertina

Finite final segments of the d.c.e. Turing degrees

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lempp, Steffen, Liu, Yiqun, Liu, Yong, Ng, Keng Meng, Peng, Cheng, Wu, Guohua
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03D28
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Isolated d.c.e. degrees and $Σ_1$ induction
di: Liu, Yiqun, et al.
Pubblicazione: (2025)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2025)

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
di: Song, Sirun, et al.
Pubblicazione: (2025)

Minimal covers in the Weihrauch degrees
di: Lempp, Steffen, et al.
Pubblicazione: (2023)

A jump operator on the Weihrauch degrees
di: Andrews, Uri, et al.
Pubblicazione: (2024)

The singleton degrees of the $Σ^0_2$ sets are not dense
di: Kent, Thomas F., et al.
Pubblicazione: (2024)

The computational content of multidimensional discontinuity
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

Chains and antichains in the Weihrauch lattice
di: Lempp, Steffen, et al.
Pubblicazione: (2024)

Martin's Conjecture in the Enumeration Degrees
di: Cordero, Antonio Nakid
Pubblicazione: (2025)

Conjunctive reducibilities and completeness
di: Chitaia, Irakli, et al.
Pubblicazione: (2026)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
di: Samra, Jean Abou, et al.
Pubblicazione: (2026)

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

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
di: Gerdes, Peter
Pubblicazione: (2023)

Computable topological groups
di: Koh, Heer Tern, et al.
Pubblicazione: (2022)

Comparing the Effective Content of Subshifts
di: Cordero, Antonio Nakid, et al.
Pubblicazione: (2026)

Computable categoricity relative to a c.e. degree
di: Villano, Java Darleen
Pubblicazione: (2024)

The Gamified Katětov order is not linear (in fact, very much not so)
di: Kihara, Takayuki, et al.
Pubblicazione: (2026)

The subTuring degrees
di: Kihara, Takayuki, et al.
Pubblicazione: (2024)

The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
di: Kihara, Takayuki, et al.
Pubblicazione: (2026)

A computably enumerable many-one degree with no least finite-one degree
di: Cintioli, Patrizio
Pubblicazione: (2026)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

Lattice initial segments of the hyperdegrees
di: Shore, Richard A., et al.
Pubblicazione: (2014)

Robinson Splitting Theorem and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2026)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
di: Lau, Desmond
Pubblicazione: (2024)

A note on the degree structure of primitive recursive m-reducibility
di: Kalmurzayev, Birzhan, et al.
Pubblicazione: (2023)

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

$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

Extensions of categoricity relative to a degree
di: Villano, Java Darleen
Pubblicazione: (2025)

Open Problems in Computability Theory and Descriptive Set Theory
di: Barmpalias, George, et al.
Pubblicazione: (2025)

Externally definable fsg groups in NIP theories
di: Chernikov, Artem
Pubblicazione: (2025)

Effective inseparability and some applications in meta-mathematics
di: Cheng, Yong
Pubblicazione: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
di: Cheng, Yong
Pubblicazione: (2023)

The limitless First Incompleteness Theorem
di: Cheng, Yong
Pubblicazione: (2021)

Sparse regular subsets of the reals
di: Bell, Jason, et al.
Pubblicazione: (2023)

A Dichotomy for $k$-automatic expansions of Presburger Arithmetic
di: Bell, Jason, et al.
Pubblicazione: (2025)

The Borel complexity of the class of models of first-order theories
di: Andrews, Uri, et al.
Pubblicazione: (2024)

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

The tree pigeonhole principle in the Weihrauch degrees
di: Dzhafarov, Damir, et al.
Pubblicazione: (2023)

Listing the hyperarithmetical functions
di: Miller, Joseph S., et al.
Pubblicazione: (2026)

Introenumerability, autoreducibility, and randomness
di: Li, Ang
Pubblicazione: (2024)