Copertina

Computable classifications of continuous, transducer, and regular functions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Franklin, Johanna N. Y., Hölzl, Rupert, Melnikov, Alexander, Ng, Keng Meng, Turetsky, Daniel
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Failure Modes for Structural Highness Notions
di: Calvert, Wesley, et al.
Pubblicazione: (2025)

The subTuring degrees
di: Kihara, Takayuki, et al.
Pubblicazione: (2024)

Primitive recursive categoricity spectra of functional structures
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

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

Computably totally disconnected locally compact groups
di: Melnikov, Alexander, et al.
Pubblicazione: (2022)

Independence and Induction in Reverse Mathematics
di: Belanger, David, et al.
Pubblicazione: (2024)

Primitive recursive categoricity spectra
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

sp-Homogeneous Linear Orderings
di: Calvert, Wesley, et al.
Pubblicazione: (2025)

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

Computably locally compact groups and their closed subgroups
di: Melnikov, Alexander G., et al.
Pubblicazione: (2024)

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

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

Topology, forcing, and graph colourings
di: Greenberg, Noam, et al.
Pubblicazione: (2026)

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

Algorithmic randomness in harmonic analysis
di: Franklin, Johanna N. Y., et al.
Pubblicazione: (2026)

On classification of continuous first order theories
di: Khanaki, Karim
Pubblicazione: (2022)

Finite final segments of the d.c.e. Turing degrees
di: Lempp, Steffen, et al.
Pubblicazione: (2024)

Iterated Priority Arguments in Descriptive Set Theory
di: Day, Adam, et al.
Pubblicazione: (2022)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
di: McCallum, Rupert
Pubblicazione: (2026)

First-order transducibility among classes of sparse graphs
di: Gajarský, Jakub, et al.
Pubblicazione: (2025)

3D-grids are not transducible from planar graphs
di: Gajarský, Jakub, et al.
Pubblicazione: (2025)

The complete classification for quantified equality constraints
di: Zhuk, Dmitriy, et al.
Pubblicazione: (2021)

A classification of incompleteness statements
di: Towsner, Henry, et al.
Pubblicazione: (2024)

Normality, Relativization, and Randomness
di: Calvert, Wesley, et al.
Pubblicazione: (2023)

The structure of polynomial growth for tree automata/transducers and MSO set queries
di: Gallot, Paul, et al.
Pubblicazione: (2025)

Growth of regular partitions 2: Weak regularity
di: Terry, C.
Pubblicazione: (2024)

Computability of Brjuno-like functions
di: Shevchenko, Ivan O., et al.
Pubblicazione: (2025)

Definability in affine continuous logic
di: Bagheri, Seyed-Mohammad
Pubblicazione: (2024)

A proof of P!=NP
di: McCallum, Rupert
Pubblicazione: (2020)

On the regularity of almost stable relations
di: Girón, Marcos
Pubblicazione: (2025)

Open Problems in Computability Theory and Descriptive Set Theory
di: Barmpalias, George, et al.
Pubblicazione: (2025)

Scott analysis, linear orders and almost periodic functions
di: Gonzalez, David, et al.
Pubblicazione: (2024)

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
di: Dartois, Luc, et al.
Pubblicazione: (2026)

Growth of regular partitions 4: strong regularity and the pairs partition
di: Terry, C.
Pubblicazione: (2024)

Growth of regular partitions 3: strong regularity and the vertex partition
di: Terry, C.
Pubblicazione: (2024)

When Darwin met Ianus: dichotomies of expressivity
di: Brunar, Johanna, et al.
Pubblicazione: (2025)

CMSO-transducing tree-like graph decompositions
di: Campbell, Rutger, et al.
Pubblicazione: (2024)

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)