Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.01939 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A computably enumerable many-one degree with no least finite-one degree
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)
Regainingly approximable numbers and sets
by: Hertling, Peter, et al.
Published: (2023)
by: Hertling, Peter, et al.
Published: (2023)
Forcing and classes of $\mathsf{HYP}$-dominating functions
by: Greenberg, Noam, et al.
Published: (2026)
by: Greenberg, Noam, et al.
Published: (2026)
Hallucination, abstention, and computable inseparability
by: Imamura, Takuma
Published: (2026)
by: Imamura, Takuma
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)
\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
by: Cintioli, Patrizio
Published: (2026)
by: Cintioli, Patrizio
Published: (2026)
A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
by: Cintioli, Patrizio
Published: (2026)
by: Cintioli, Patrizio
Published: (2026)
Conjunctive reducibilities and completeness
by: Chitaia, Irakli, et al.
Published: (2026)
by: Chitaia, Irakli, et al.
Published: (2026)
Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)
by: Day, Adam, et al.
Published: (2022)
Computable categoricity relative to a c.e. degree
by: Villano, Java Darleen
Published: (2024)
by: Villano, Java Darleen
Published: (2024)
Extensions of categoricity relative to a degree
by: Villano, Java Darleen
Published: (2025)
by: Villano, Java Darleen
Published: (2025)
Six equations in search of a finite-fold-ness proof
by: Cantone, Domenico, et al.
Published: (2023)
by: Cantone, Domenico, et al.
Published: (2023)
Robinson Splitting Theorem and $Σ_1$ Induction
by: Liu, Yong, et al.
Published: (2026)
by: Liu, Yong, et al.
Published: (2026)
Dedekind-finite cardinals having countable partitions
by: Panasawatwong, Supakun, et al.
Published: (2022)
by: Panasawatwong, Supakun, et al.
Published: (2022)
On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)
by: Normann, Dag, et al.
Published: (2024)
Subresiduated Nelson Algebras
by: Lubomirsky, Noemí, et al.
Published: (2024)
by: Lubomirsky, Noemí, et al.
Published: (2024)
Analogues of the countable Borel equivalence relations in the setting of computable reducibility
by: Andrews, Uri, et al.
Published: (2024)
by: Andrews, Uri, et al.
Published: (2024)
Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)
by: Sipos, Andrei
Published: (2023)
More conservativity for weak Kőnig's lemma
by: Freund, Anton, et al.
Published: (2024)
by: Freund, Anton, et al.
Published: (2024)
The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)
by: Barsukov, Alexey, et al.
Published: (2023)
Mixed quantifier prefixes over Diophantine equations with integer variables
by: Sun, Zhi-Wei
Published: (2021)
by: Sun, Zhi-Wei
Published: (2021)
Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)
by: Rosko, Milan
Published: (2025)
Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)
by: Jipsen, Peter, et al.
Published: (2025)
On the computability of cofinal Fraïssé limits
by: Ackerman, Nathanael, et al.
Published: (2026)
by: Ackerman, Nathanael, et al.
Published: (2026)
New definitions in the theory of Type 1 computable topological spaces
by: Rauzy, Emmanuel
Published: (2023)
by: Rauzy, Emmanuel
Published: (2023)
The computational content of multidimensional discontinuity
by: Hölzl, Rupert, et al.
Published: (2024)
by: Hölzl, Rupert, et al.
Published: (2024)
On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)
by: Normann, Dag, et al.
Published: (2022)
An equiconsistency proof for $\mathrm{CZF} + V = L$
by: Wang, Shuwei
Published: (2026)
by: Wang, Shuwei
Published: (2026)
Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)
by: Kowalski, Tomasz, et al.
Published: (2024)
A generalization of Markov's approach to the continuity problem for Type 1 computable functions
by: Rauzy, Emmanuel
Published: (2023)
by: Rauzy, Emmanuel
Published: (2023)
Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
by: Houérou, Quentin Le, et al.
Published: (2026)
by: Houérou, Quentin Le, et al.
Published: (2026)
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)
Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)
by: Knudstorp, Søren Brinck
Published: (2025)
The finitary partitions with $n$ non-singleton blocks of a set
by: Hu, Yifan, et al.
Published: (2024)
by: Hu, Yifan, et al.
Published: (2024)
Strong reducibilities and set theory
by: Schweber, Noah
Published: (2024)
by: Schweber, Noah
Published: (2024)
A General Theory of Class Symmetric Systems
by: Holy, Peter, et al.
Published: (2026)
by: Holy, Peter, et al.
Published: (2026)
A $Π^0_2$ Singleton of Minimal Arithmetic Degree
by: Gerdes, Peter
Published: (2023)
by: Gerdes, Peter
Published: (2023)