Copertina

A total Solovay reducibility and totalizing of the notion of speedability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Merkle, Wolfgang, Titov, Ivan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03D32 (Primary) 03D30, 68Q30 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Solovay reducibility implies S2a-reducibility
di: Titov, Ivan
Pubblicazione: (2024)

Variants of Solovay reducibility
di: Titov, Ivan
Pubblicazione: (2024)

Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
di: Titov, Ivan
Pubblicazione: (2024)

Regainingly approximable numbers and sets
di: Hertling, Peter, et al.
Pubblicazione: (2023)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
di: Hertling, Peter, et al.
Pubblicazione: (2025)

Information vs Dimension -- an Algorithmic Perspective
di: Reimann, Jan
Pubblicazione: (2024)

Ramsey-like theorems for separable permutations
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

On the incomputability of computable dimension
di: Staiger, Ludwig
Pubblicazione: (2019)

Chains and antichains in the Weihrauch lattice
di: Lempp, Steffen, et al.
Pubblicazione: (2024)

Contrasting the Halves of an Ahmad Pair
di: Ravishankar, Karthik
Pubblicazione: (2025)

A $Π^0_2$ Singleton of Minimal Arithmetic Degree
di: Gerdes, Peter
Pubblicazione: (2023)

Introenumerability, autoreducibility, and randomness
di: Li, Ang
Pubblicazione: (2024)

$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

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

There is a deep 1-generic set
di: Li, Ang
Pubblicazione: (2024)

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
di: Kattermann, David, et al.
Pubblicazione: (2025)

On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
di: Song, Sirun, et al.
Pubblicazione: (2025)

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
di: Harrington, Leo A., et al.
Pubblicazione: (2025)

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

Iterated jump noncomputability and compactness
di: Dooley, Gavin
Pubblicazione: (2025)

Benign approximations and non-speedability
di: Hölzl, Rupert, et al.
Pubblicazione: (2023)

Bounds on the dimension of lineal extensions
di: Bushling, Ryan E. G., et al.
Pubblicazione: (2024)

Axiom Beta Implies Elementary Transfinite Recursion
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)

Why the classes P and NP are not well-defined finitarily
di: Anand, Bhupinder Singh
Pubblicazione: (2024)

Computability of Initial Value Problems
di: Brattka, Vasco, et al.
Pubblicazione: (2024)

Conjunctive reducibilities and completeness
di: Chitaia, Irakli, et al.
Pubblicazione: (2026)

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

A note on the degree structure of primitive recursive m-reducibility
di: Kalmurzayev, Birzhan, et al.
Pubblicazione: (2023)

Comparing Notions of Dense Computability on $ω^ω$ and $2^ω$
di: Gerdes, Peter M.
Pubblicazione: (2025)

Learning Equivalence Relations on Polish Spaces
di: Rossegger, Dino, et al.
Pubblicazione: (2024)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
di: Prunescu, Mihai, et al.
Pubblicazione: (2025)

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
di: Sorg, Christopher
Pubblicazione: (2026)

Forcing as a Local Method of Accessing Small Extensions
di: Lau, Desmond
Pubblicazione: (2024)

Hallucination, abstention, and computable inseparability
di: Imamura, Takuma
Pubblicazione: (2026)

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

Randomness versus superspeedability
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

There is No Composition in the Computable Reducibility Degrees
di: Mourad, Daniel
Pubblicazione: (2024)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
di: Vodrazka, Daniel
Pubblicazione: (2025)

A jump operator on the Weihrauch degrees
di: Andrews, Uri, et al.
Pubblicazione: (2024)