Copertina

Evaluative presentations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	McNicholl, Timothy H.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03D78
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Computable $K$-theory for $\mathrm{C}^*$-algebras: UHF algebras
di: Eagle, Christopher, et al.
Pubblicazione: (2025)

Computable Gelfand Duality
di: Burton, Peter, et al.
Pubblicazione: (2024)

Computable Bases
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

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

New definitions in the theory of Type 1 computable topological spaces
di: Rauzy, Emmanuel
Pubblicazione: (2023)

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

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

Computability for tree presentations of continuum-size structures
di: Block, Jason, et al.
Pubblicazione: (2025)

Computable topological groups
di: Koh, Heer Tern, et al.
Pubblicazione: (2022)

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

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

The computational content of multidimensional discontinuity
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

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

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

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

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

The weakness of finding descending sequences in ill-founded linear orders
di: Goh, Jun Le, et al.
Pubblicazione: (2024)

Finding descending sequences through ill-founded linear orders
di: Goh, Jun Le, et al.
Pubblicazione: (2020)

Reordered Computable Numbers
di: Janicki, Philip
Pubblicazione: (2023)

Problems with fixpoints of polynomials of polynomials
di: Pradic, Cécilia, et al.
Pubblicazione: (2026)

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

The Galvin-Prikry Theorem in the Weihrauch lattice
di: Marcone, Alberto, et al.
Pubblicazione: (2024)

Sequential discontinuity and first-order problems
di: Pauly, Arno, et al.
Pubblicazione: (2024)

Effective bases and notions of effective second countability in computable analysis
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

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

Weihrauch problems as containers
di: Pradic, Cécilia, et al.
Pubblicazione: (2025)

Countable Ordered Groups and Weihrauch Reducibility
di: Li, Ang
Pubblicazione: (2024)

Computable Approximations of Semicomputable Graphs
di: Čačić, Vedran, et al.
Pubblicazione: (2024)

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

Computably discrete represented spaces
di: Neumann, Eike, et al.
Pubblicazione: (2025)

The tree pigeonhole principle in the Weihrauch degrees
di: Dzhafarov, Damir, et al.
Pubblicazione: (2023)

Loops, Inverse Limits and Non-Determinism
di: Brattka, Vasco
Pubblicazione: (2025)

An effective version of the Stone duality
di: Bazhenov, Nikolay A., et al.
Pubblicazione: (2026)

Computability of the Hahn-Banach Theorem Revisited
di: Brattka, Vasco, et al.
Pubblicazione: (2026)

Hausdorff dimension and countable Borel equivalence relations
di: Marks, Andrew, et al.
Pubblicazione: (2024)

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
di: Huttegger, Simon M., et al.
Pubblicazione: (2024)

On computability of equilibrium states
di: Binder, Ilia, et al.
Pubblicazione: (2023)

Medvedev degrees of subshifts on groups
di: Barbieri, Sebastián, et al.
Pubblicazione: (2024)

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

Online and feasible presentability: from trees to modal algebras
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2025)