Copertina

On the incomputability of computable dimension

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Staiger, Ludwig
Natura:	Preprint
Pubblicazione:	2019
Soggetti:	Logic in Computer Science 68Q30, 03D32
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

A total Solovay reducibility and totalizing of the notion of speedability
di: Merkle, Wolfgang, et al.
Pubblicazione: (2024)

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

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

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

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

The equational theory of the Weihrauch lattice with (iterated) composition
di: Pradic, Cécilia
Pubblicazione: (2024)

The equational theory of the Weihrauch lattice with multiplication
di: Neumann, Eike, et al.
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)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

Finitely Bounded Homogeneity Turned Inside-Out
di: Rydval, Jakub
Pubblicazione: (2021)

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

Choiceless Polynomial Space
di: Ferrarotti, Flavio, et al.
Pubblicazione: (2024)

On Chaitin's Heuristic Principle and Halting Probability
di: Salehi, Saeed
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)

Refutability as Recursive as Provability
di: Cattabriga, Paola
Pubblicazione: (2024)

Uniformity in learning structures
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)

Classifying different criteria for learning algebraic structures
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2024)

Uniform Computability of PAC Learning
di: Brattka, Vasco, et al.
Pubblicazione: (2026)

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

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

On the learning power of Friedman-Stanley jumps
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)

Reversible computations are computations
di: Aubert, Clément, et al.
Pubblicazione: (2025)

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

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

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

A Classifying Topos for the Spectrum of Equivalences
di: Oggad, Kenan
Pubblicazione: (2026)

From Gödel incompleteness to the consistency of circuit lower bounds
di: Atserias, Albert, et al.
Pubblicazione: (2026)

Adversarial Barrier in Uniform Class Separation
di: Rosko, Milan
Pubblicazione: (2025)

Algebraic Proof Theory for Infinitary Action Logic
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

Minimal covers in the Weihrauch degrees
di: Lempp, Steffen, et al.
Pubblicazione: (2023)

A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem
di: Brossard, Jonathan
Pubblicazione: (2026)

Truth-Aware Decoding: A Program-Logic Approach to Factual Language Generation
di: Alpay, Faruk, et al.
Pubblicazione: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
di: Samra, Jean Abou, et al.
Pubblicazione: (2026)

The complexity of being monitorable
di: Camerlo, Riccardo, et al.
Pubblicazione: (2026)