Image de couverture de livre

Low$_2$ computably enumerable sets have hyperhypersimple supersets

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cholak, Peter, Downey, Rodney, Greenberg, Noam
Format:	Preprint
Publié:	2024
Sujets:	Logic 03D25
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A computably enumerable many-one degree with no least finite-one degree
par: Cintioli, Patrizio
Publié: (2026)

The singleton degrees of the $Σ^0_2$ sets are not dense
par: Kent, Thomas F., et autres
Publié: (2024)

Regainingly approximable numbers and sets
par: Hertling, Peter, et autres
Publié: (2023)

Forcing and classes of $\mathsf{HYP}$-dominating functions
par: Greenberg, Noam, et autres
Publié: (2026)

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

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
par: Cintioli, Patrizio
Publié: (2026)

Conjunctive reducibilities and completeness
par: Chitaia, Irakli, et autres
Publié: (2026)

Hallucination, abstention, and computable inseparability
par: Imamura, Takuma
Publié: (2026)

Computable categoricity relative to a c.e. degree
par: Villano, Java Darleen
Publié: (2024)

The strength of Ramsey Theorem for coloring relatively large sets
par: Carlucci, Lorenzo, et autres
Publié: (2012)

Iterated Priority Arguments in Descriptive Set Theory
par: Day, Adam, et autres
Publié: (2022)

Extensions of categoricity relative to a degree
par: Villano, Java Darleen
Publié: (2025)

Six equations in search of a finite-fold-ness proof
par: Cantone, Domenico, et autres
Publié: (2023)

Dedekind-finite cardinals having countable partitions
par: Panasawatwong, Supakun, et autres
Publié: (2022)

Robinson Splitting Theorem and $Σ_1$ Induction
par: Liu, Yong, et autres
Publié: (2026)

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
par: Andrews, Uri, et autres
Publié: (2024)

On some computational properties of open sets
par: Normann, Dag, et autres
Publié: (2024)

Subresiduated Nelson Algebras
par: Lubomirsky, Noemí, et autres
Publié: (2024)

Normal forms and representable functions in Moisil logic
par: Sipos, Andrei
Publié: (2023)

More conservativity for weak Kőnig's lemma
par: Freund, Anton, et autres
Publié: (2024)

New definitions in the theory of Type 1 computable topological spaces
par: Rauzy, Emmanuel
Publié: (2023)

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

The computational content of multidimensional discontinuity
par: Hölzl, Rupert, et autres
Publié: (2024)

The Golden Path to Guarded Monotone Strict NP
par: Barsukov, Alexey, et autres
Publié: (2023)

On the computability of cofinal Fraïssé limits
par: Ackerman, Nathanael, et autres
Publié: (2026)

On the computational properties of basic mathematical notions
par: Normann, Dag, et autres
Publié: (2022)

Residuated lattices do not have the amalgamation property
par: Jipsen, Peter, et autres
Publié: (2025)

Mixed quantifier prefixes over Diophantine equations with integer variables
par: Sun, Zhi-Wei
Publié: (2021)

An equiconsistency proof for $\mathrm{CZF} + V = L$
par: Wang, Shuwei
Publié: (2026)

Failure of the Blok-Esakia Theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

Decidable varieties of p-algebras
par: Kowalski, Tomasz, et autres
Publié: (2024)

A General Theory of Class Symmetric Systems
par: Holy, Peter, et autres
Publié: (2026)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
par: Gerdes, Peter
Publié: (2023)

Adversarial Barrier in Uniform Class Separation
par: Rosko, Milan
Publié: (2025)

Effective weak convergence and tightness of measures in computable Polish spaces
par: Rojas, Diego A.
Publié: (2024)

Strong reducibilities and set theory
par: Schweber, Noah
Publié: (2024)

The finitary partitions with $n$ non-singleton blocks of a set
par: Hu, Yifan, et autres
Publié: (2024)

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
par: Cole, Joshua
Publié: (2024)

A Gentle Introduction to the Axiom of Choice
par: Blass, Andreas, et autres
Publié: (2025)

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