Buchumschlag

Solovay reducibility implies S2a-reducibility

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Titov, Ivan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03D32 (Primary) 03D30, 68Q30 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A total Solovay reducibility and totalizing of the notion of speedability
von: Merkle, Wolfgang, et al.
Veröffentlicht: (2024)

Variants of Solovay reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
von: Titov, Ivan
Veröffentlicht: (2024)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
von: Hertling, Peter, et al.
Veröffentlicht: (2025)

Information vs Dimension -- an Algorithmic Perspective
von: Reimann, Jan
Veröffentlicht: (2024)

Ramsey-like theorems for separable permutations
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2025)

On the incomputability of computable dimension
von: Staiger, Ludwig
Veröffentlicht: (2019)

Chains and antichains in the Weihrauch lattice
von: Lempp, Steffen, et al.
Veröffentlicht: (2024)

Contrasting the Halves of an Ahmad Pair
von: Ravishankar, Karthik
Veröffentlicht: (2025)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
von: Gerdes, Peter
Veröffentlicht: (2023)

There is a deep 1-generic set
von: Li, Ang
Veröffentlicht: (2024)

Introenumerability, autoreducibility, and randomness
von: Li, Ang
Veröffentlicht: (2024)

$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2022)

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
von: Kattermann, David, et al.
Veröffentlicht: (2025)

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
von: Song, Sirun, et al.
Veröffentlicht: (2025)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
von: Harrington, Leo A., et al.
Veröffentlicht: (2025)

The reverse mathematics of bounded Ramsey's theorem for pairs
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2025)

Conjunctive reducibilities and completeness
von: Chitaia, Irakli, et al.
Veröffentlicht: (2026)

Iterated jump noncomputability and compactness
von: Dooley, Gavin
Veröffentlicht: (2025)

Bounds on the dimension of lineal extensions
von: Bushling, Ryan E. G., et al.
Veröffentlicht: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
von: Frittaion, Emanuele, et al.
Veröffentlicht: (2026)

A note on the degree structure of primitive recursive m-reducibility
von: Kalmurzayev, Birzhan, et al.
Veröffentlicht: (2023)

Why the classes P and NP are not well-defined finitarily
von: Anand, Bhupinder Singh
Veröffentlicht: (2024)

Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$
von: Gerdes, Peter M.
Veröffentlicht: (2025)

Computability of Initial Value Problems
von: Brattka, Vasco, et al.
Veröffentlicht: (2024)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
von: Aceves-Martínez, Bruno Fernando, et al.
Veröffentlicht: (2024)

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

Analogues of the countable Borel equivalence relations in the setting of computable reducibility
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

Learning Equivalence Relations on Polish Spaces
von: Rossegger, Dino, et al.
Veröffentlicht: (2024)

Strong reducibilities and set theory
von: Schweber, Noah
Veröffentlicht: (2024)

Forcing as a Local Method of Accessing Small Extensions
von: Lau, Desmond
Veröffentlicht: (2024)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
von: Sorg, Christopher
Veröffentlicht: (2026)

Hallucination, abstention, and computable inseparability
von: Imamura, Takuma
Veröffentlicht: (2026)

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

There is No Composition in the Computable Reducibility Degrees
von: Mourad, Daniel
Veröffentlicht: (2024)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)