Buchumschlag

Randomness versus superspeedability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hölzl, Rupert, Janicki, Philip, Merkle, Wolfgang, Stephan, Frank
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03D32, 03D78, 03F60
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Benign approximations and non-speedability
von: Hölzl, Rupert, et al.
Veröffentlicht: (2023)

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

The computational content of multidimensional discontinuity
von: Hölzl, Rupert, et al.
Veröffentlicht: (2024)

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

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
von: Huttegger, Simon M., et al.
Veröffentlicht: (2024)

Reordered Computable Numbers
von: Janicki, Philip
Veröffentlicht: (2023)

Problems with fixpoints of polynomials of polynomials
von: Pradic, Cécilia, et al.
Veröffentlicht: (2026)

Computable Approximations of Semicomputable Graphs
von: Čačić, Vedran, et al.
Veröffentlicht: (2024)

Effective bases and notions of effective second countability in computable analysis
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

Fundamental sequences based on localization
von: Wilken, Gunnar
Veröffentlicht: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
von: Wilken, Gunnar
Veröffentlicht: (2025)

A jump operator on the Weihrauch degrees
von: Andrews, Uri, et al.
Veröffentlicht: (2024)

New definitions in the theory of Type 1 computable topological spaces
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

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

Proof-theoretic dilator and intermediate pointclasses
von: Jeon, Hanul
Veröffentlicht: (2025)

Computably discrete represented spaces
von: Neumann, Eike, et al.
Veröffentlicht: (2025)

Minimal covers in the Weihrauch degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)

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

Countable Ordered Groups and Weihrauch Reducibility
von: Li, Ang
Veröffentlicht: (2024)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Induction on Dilators and Bachmann-Howard Fixed Points
von: Aguilera, Juan P., et al.
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)

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

Evaluative presentations
von: McNicholl, Timothy H.
Veröffentlicht: (2024)

Computable Bases
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

A non-computable c.e. closed subset of $[0,1]$
von: Badaev, Serikzhan, et al.
Veröffentlicht: (2025)

Computability for tree presentations of continuum-size structures
von: Block, Jason, et al.
Veröffentlicht: (2025)

Schnorr Randomness and Effective Bayesian Consistency and Inconsistency
von: Huttegger, Simon M., et al.
Veröffentlicht: (2025)

Listing the hyperarithmetical functions
von: Miller, Joseph S., et al.
Veröffentlicht: (2026)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

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)

The Galvin-Prikry Theorem in the Weihrauch lattice
von: Marcone, Alberto, et al.
Veröffentlicht: (2024)

Computability of the Hahn-Banach Theorem Revisited
von: Brattka, Vasco, et al.
Veröffentlicht: (2026)

Computable topological groups
von: Koh, Heer Tern, et al.
Veröffentlicht: (2022)

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

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

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

Exploring the abyss in Kleene's computability theory
von: Sanders, Sam
Veröffentlicht: (2023)