Computable categoricity relative to a c.e. degree
Fuente:
arXiv
Guardado en:
| Autor principal: | Villano, Java Darleen |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Extensions of categoricity relative to a degree
por: Villano, Java Darleen
Publicado: (2025)
por: Villano, Java Darleen
Publicado: (2025)
A computably enumerable many-one degree with no least finite-one degree
por: Cintioli, Patrizio
Publicado: (2026)
por: Cintioli, Patrizio
Publicado: (2026)
Normality, Relativization, and Randomness
por: Calvert, Wesley, et al.
Publicado: (2023)
por: Calvert, Wesley, et al.
Publicado: (2023)
\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
por: Cintioli, Patrizio
Publicado: (2026)
por: Cintioli, Patrizio
Publicado: (2026)
The singleton degrees of the $Σ^0_2$ sets are not dense
por: Kent, Thomas F., et al.
Publicado: (2024)
por: Kent, Thomas F., et al.
Publicado: (2024)
A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
por: Cintioli, Patrizio
Publicado: (2026)
por: Cintioli, Patrizio
Publicado: (2026)
Conjunctive reducibilities and completeness
por: Chitaia, Irakli, et al.
Publicado: (2026)
por: Chitaia, Irakli, et al.
Publicado: (2026)
A non-computable c.e. closed subset of $[0,1]$
por: Badaev, Serikzhan, et al.
Publicado: (2025)
por: Badaev, Serikzhan, et al.
Publicado: (2025)
Low$_2$ computably enumerable sets have hyperhypersimple supersets
por: Cholak, Peter, et al.
Publicado: (2024)
por: Cholak, Peter, et al.
Publicado: (2024)
The strength of Ramsey Theorem for coloring relatively large sets
por: Carlucci, Lorenzo, et al.
Publicado: (2012)
por: Carlucci, Lorenzo, et al.
Publicado: (2012)
Finite final segments of the d.c.e. Turing degrees
por: Lempp, Steffen, et al.
Publicado: (2024)
por: Lempp, Steffen, et al.
Publicado: (2024)
Six equations in search of a finite-fold-ness proof
por: Cantone, Domenico, et al.
Publicado: (2023)
por: Cantone, Domenico, et al.
Publicado: (2023)
Minimal covers in the Weihrauch degrees
por: Lempp, Steffen, et al.
Publicado: (2023)
por: Lempp, Steffen, et al.
Publicado: (2023)
Isolated d.c.e. degrees and $Σ_1$ induction
por: Liu, Yiqun, et al.
Publicado: (2025)
por: Liu, Yiqun, et al.
Publicado: (2025)
Robinson Splitting Theorem and $Σ_1$ Induction
por: Liu, Yong, et al.
Publicado: (2026)
por: Liu, Yong, et al.
Publicado: (2026)
Regainingly approximable numbers and sets
por: Hertling, Peter, et al.
Publicado: (2023)
por: Hertling, Peter, et al.
Publicado: (2023)
Hallucination, abstention, and computable inseparability
por: Imamura, Takuma
Publicado: (2026)
por: Imamura, Takuma
Publicado: (2026)
A jump operator on the Weihrauch degrees
por: Andrews, Uri, et al.
Publicado: (2024)
por: Andrews, Uri, et al.
Publicado: (2024)
Subresiduated Nelson Algebras
por: Lubomirsky, Noemí, et al.
Publicado: (2024)
por: Lubomirsky, Noemí, et al.
Publicado: (2024)
On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
por: Song, Sirun, et al.
Publicado: (2025)
por: Song, Sirun, et al.
Publicado: (2025)
A note on the degree structure of primitive recursive m-reducibility
por: Kalmurzayev, Birzhan, et al.
Publicado: (2023)
por: Kalmurzayev, Birzhan, et al.
Publicado: (2023)
A topos for extended Weihrauch degrees
por: Maschio, Samuele, et al.
Publicado: (2025)
por: Maschio, Samuele, et al.
Publicado: (2025)
An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
por: Samra, Jean Abou, et al.
Publicado: (2026)
por: Samra, Jean Abou, et al.
Publicado: (2026)
Normal forms and representable functions in Moisil logic
por: Sipos, Andrei
Publicado: (2023)
por: Sipos, Andrei
Publicado: (2023)
More conservativity for weak Kőnig's lemma
por: Freund, Anton, et al.
Publicado: (2024)
por: Freund, Anton, et al.
Publicado: (2024)
Isomorphism relations on classes of c.e. algebras
por: Ho, Meng-Che "Turbo", et al.
Publicado: (2026)
por: Ho, Meng-Che "Turbo", et al.
Publicado: (2026)
The Golden Path to Guarded Monotone Strict NP
por: Barsukov, Alexey, et al.
Publicado: (2023)
por: Barsukov, Alexey, et al.
Publicado: (2023)
Bochvar algebras: A categorical equivalence and the generated variety
por: Bonzio, Stefano, et al.
Publicado: (2024)
por: Bonzio, Stefano, et al.
Publicado: (2024)
Mixed quantifier prefixes over Diophantine equations with integer variables
por: Sun, Zhi-Wei
Publicado: (2021)
por: Sun, Zhi-Wei
Publicado: (2021)
An equiconsistency proof for $\mathrm{CZF} + V = L$
por: Wang, Shuwei
Publicado: (2026)
por: Wang, Shuwei
Publicado: (2026)
Decidable varieties of p-algebras
por: Kowalski, Tomasz, et al.
Publicado: (2024)
por: Kowalski, Tomasz, et al.
Publicado: (2024)
Remarks on relative categoricity
por: Pillay, Anand
Publicado: (2026)
por: Pillay, Anand
Publicado: (2026)
Isomorphism Spectra and Computably Composite Structures
por: Lakerdas-Gayle, Joey
Publicado: (2025)
por: Lakerdas-Gayle, Joey
Publicado: (2025)
Adversarial Barrier in Uniform Class Separation
por: Rosko, Milan
Publicado: (2025)
por: Rosko, Milan
Publicado: (2025)
Computable Bases
por: Brattka, Vasco, et al.
Publicado: (2025)
por: Brattka, Vasco, et al.
Publicado: (2025)
A Gentle Introduction to the Axiom of Choice
por: Blass, Andreas, et al.
Publicado: (2025)
por: Blass, Andreas, et al.
Publicado: (2025)
Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
por: Liu, Yong, et al.
Publicado: (2025)
por: Liu, Yong, et al.
Publicado: (2025)
The Gamified Katětov order is not linear (in fact, very much not so)
por: Kihara, Takayuki, et al.
Publicado: (2026)
por: Kihara, Takayuki, et al.
Publicado: (2026)
Noetherian Properties, Large Cardinals, and Independence Around $\aleph_ω$
por: Soukup, Lajos, et al.
Publicado: (2025)
por: Soukup, Lajos, et al.
Publicado: (2025)
There is No Composition in the Computable Reducibility Degrees
por: Mourad, Daniel
Publicado: (2024)
por: Mourad, Daniel
Publicado: (2024)
Ejemplares similares
-
Extensions of categoricity relative to a degree
por: Villano, Java Darleen
Publicado: (2025) -
A computably enumerable many-one degree with no least finite-one degree
por: Cintioli, Patrizio
Publicado: (2026) -
Normality, Relativization, and Randomness
por: Calvert, Wesley, et al.
Publicado: (2023) -
\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
por: Cintioli, Patrizio
Publicado: (2026) -
The singleton degrees of the $Σ^0_2$ sets are not dense
por: Kent, Thomas F., et al.
Publicado: (2024)