Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.06641 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Extensions of categoricity relative to a degree
by: Villano, Java Darleen
Published: (2025)
by: Villano, Java Darleen
Published: (2025)
Normality, Relativization, and Randomness
by: Calvert, Wesley, et al.
Published: (2023)
by: Calvert, Wesley, et al.
Published: (2023)
A computably enumerable many-one degree with no least finite-one degree
by: Cintioli, Patrizio
Published: (2026)
by: Cintioli, Patrizio
Published: (2026)
\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
by: Cintioli, Patrizio
Published: (2026)
by: Cintioli, Patrizio
Published: (2026)
The singleton degrees of the $Σ^0_2$ sets are not dense
by: Kent, Thomas F., et al.
Published: (2024)
by: Kent, Thomas F., et al.
Published: (2024)
A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
by: Cintioli, Patrizio
Published: (2026)
by: Cintioli, Patrizio
Published: (2026)
A non-computable c.e. closed subset of $[0,1]$
by: Badaev, Serikzhan, et al.
Published: (2025)
by: Badaev, Serikzhan, et al.
Published: (2025)
Conjunctive reducibilities and completeness
by: Chitaia, Irakli, et al.
Published: (2026)
by: Chitaia, Irakli, et al.
Published: (2026)
The strength of Ramsey Theorem for coloring relatively large sets
by: Carlucci, Lorenzo, et al.
Published: (2012)
by: Carlucci, Lorenzo, et al.
Published: (2012)
Low$_2$ computably enumerable sets have hyperhypersimple supersets
by: Cholak, Peter, et al.
Published: (2024)
by: Cholak, Peter, et al.
Published: (2024)
Six equations in search of a finite-fold-ness proof
by: Cantone, Domenico, et al.
Published: (2023)
by: Cantone, Domenico, et al.
Published: (2023)
Finite final segments of the d.c.e. Turing degrees
by: Lempp, Steffen, et al.
Published: (2024)
by: Lempp, Steffen, et al.
Published: (2024)
Isolated d.c.e. degrees and $Σ_1$ induction
by: Liu, Yiqun, et al.
Published: (2025)
by: Liu, Yiqun, et al.
Published: (2025)
Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)
by: Lempp, Steffen, et al.
Published: (2023)
Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)
by: Liu, Yong, et al.
Published: (2026)
Regainingly approximable numbers and sets
by: Hertling, Peter, et al.
Published: (2023)
by: Hertling, Peter, et al.
Published: (2023)
Hallucination, abstention, and computable inseparability
by: Imamura, Takuma
Published: (2026)
by: Imamura, Takuma
Published: (2026)
A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)
by: Maschio, Samuele, et al.
Published: (2025)
A jump operator on the Weihrauch degrees
by: Andrews, Uri, et al.
Published: (2024)
by: Andrews, Uri, et al.
Published: (2024)
Isomorphism relations on classes of c.e. algebras
by: Ho, Meng-Che "Turbo", et al.
Published: (2026)
by: Ho, Meng-Che "Turbo", et al.
Published: (2026)
Subresiduated Nelson Algebras
by: Lubomirsky, Noemí, et al.
Published: (2024)
by: Lubomirsky, Noemí, et al.
Published: (2024)
Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)
by: Sipos, Andrei
Published: (2023)
An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)
by: Samra, Jean Abou, et al.
Published: (2026)
More conservativity for weak Kőnig's lemma
by: Freund, Anton, et al.
Published: (2024)
by: Freund, Anton, et al.
Published: (2024)
On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
by: Song, Sirun, et al.
Published: (2025)
by: Song, Sirun, et al.
Published: (2025)
A note on the degree structure of primitive recursive m-reducibility
by: Kalmurzayev, Birzhan, et al.
Published: (2023)
by: Kalmurzayev, Birzhan, et al.
Published: (2023)
The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)
by: Barsukov, Alexey, et al.
Published: (2023)
Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)
by: Bonzio, Stefano, et al.
Published: (2024)
Mixed quantifier prefixes over Diophantine equations with integer variables
by: Sun, Zhi-Wei
Published: (2021)
by: Sun, Zhi-Wei
Published: (2021)
Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)
by: Rosko, Milan
Published: (2025)
An equiconsistency proof for $\mathrm{CZF} + V = L$
by: Wang, Shuwei
Published: (2026)
by: Wang, Shuwei
Published: (2026)
The Ginsburg--Sands theorem and computability theory
by: Benham, Heidi, et al.
Published: (2024)
by: Benham, Heidi, et al.
Published: (2024)
Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)
by: Kowalski, Tomasz, et al.
Published: (2024)
The Gamified Katětov order is not linear (in fact, very much not so)
by: Kihara, Takayuki, et al.
Published: (2026)
by: Kihara, Takayuki, et al.
Published: (2026)
Noetherian Properties, Large Cardinals, and Independence Around $\aleph_ω$
by: Soukup, Lajos, et al.
Published: (2025)
by: Soukup, Lajos, et al.
Published: (2025)
Remarks on relative categoricity
by: Pillay, Anand
Published: (2026)
by: Pillay, Anand
Published: (2026)
Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)
by: Knudstorp, Søren Brinck
Published: (2025)
Isomorphism Spectra and Computably Composite Structures
by: Lakerdas-Gayle, Joey
Published: (2025)
by: Lakerdas-Gayle, Joey
Published: (2025)
Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2025)
by: Liu, Yong, et al.
Published: (2025)
An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)
by: Jibladze, Mamuka, et al.
Published: (2024)