:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Franklin, Johanna N. Y., Hölzl, Rupert, Melnikov, Alexander, Ng, Keng Meng, Turetsky, Daniel
Format:	Preprint
Publié:	2020
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2010.09499
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The computational content of multidimensional discontinuity
par: Hölzl, Rupert, et autres
Publié: (2024)

Computable topological groups
par: Koh, Heer Tern, et autres
Publié: (2022)

Failure Modes for Structural Highness Notions
par: Calvert, Wesley, et autres
Publié: (2025)

The subTuring degrees
par: Kihara, Takayuki, et autres
Publié: (2024)

Benign approximations and non-speedability
par: Hölzl, Rupert, et autres
Publié: (2023)

Primitive recursive categoricity spectra of functional structures
par: Bazhenov, Nikolay, et autres
Publié: (2026)

Computably totally disconnected locally compact groups
par: Melnikov, Alexander, et autres
Publié: (2022)

Independence and Induction in Reverse Mathematics
par: Belanger, David, et autres
Publié: (2024)

Primitive recursive categoricity spectra
par: Bazhenov, Nikolay, et autres
Publié: (2026)

Regainingly approximable numbers and sets
par: Hertling, Peter, et autres
Publié: (2023)

Randomness versus superspeedability
par: Hölzl, Rupert, et autres
Publié: (2024)

sp-Homogeneous Linear Orderings
par: Calvert, Wesley, et autres
Publié: (2025)

Computably locally compact groups and their closed subgroups
par: Melnikov, Alexander G., et autres
Publié: (2024)

The singleton degrees of the $Σ^0_2$ sets are not dense
par: Kent, Thomas F., et autres
Publié: (2024)

Algorithmic randomness in harmonic analysis
par: Franklin, Johanna N. Y., et autres
Publié: (2026)

Topology, forcing, and graph colourings
par: Greenberg, Noam, et autres
Publié: (2026)

Conjunctive reducibilities and completeness
par: Chitaia, Irakli, et autres
Publié: (2026)

Finite final segments of the d.c.e. Turing degrees
par: Lempp, Steffen, et autres
Publié: (2024)

Iterated Priority Arguments in Descriptive Set Theory
par: Day, Adam, et autres
Publié: (2022)

On classification of continuous first order theories
par: Khanaki, Karim
Publié: (2022)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
par: McCallum, Rupert
Publié: (2026)

First-order transducibility among classes of sparse graphs
par: Gajarský, Jakub, et autres
Publié: (2025)

3D-grids are not transducible from planar graphs
par: Gajarský, Jakub, et autres
Publié: (2025)

Normality, Relativization, and Randomness
par: Calvert, Wesley, et autres
Publié: (2023)

Open Problems in Computability Theory and Descriptive Set Theory
par: Barmpalias, George, et autres
Publié: (2025)

The structure of polynomial growth for tree automata/transducers and MSO set queries
par: Gallot, Paul, et autres
Publié: (2025)

The complete classification for quantified equality constraints
par: Zhuk, Dmitriy, et autres
Publié: (2021)

A proof of P!=NP
par: McCallum, Rupert
Publié: (2020)

CMSO-transducing tree-like graph decompositions
par: Campbell, Rutger, et autres
Publié: (2024)

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
par: Dartois, Luc, et autres
Publié: (2026)

When Darwin met Ianus: dichotomies of expressivity
par: Brunar, Johanna, et autres
Publié: (2025)

Growth of regular partitions 2: Weak regularity
par: Terry, C.
Publié: (2024)

A classification of incompleteness statements
par: Towsner, Henry, et autres
Publié: (2024)

Computability of Brjuno-like functions
par: Shevchenko, Ivan O., et autres
Publié: (2025)

On the regularity of almost stable relations
par: Girón, Marcos
Publié: (2025)

Definability in affine continuous logic
par: Bagheri, Seyed-Mohammad
Publié: (2024)

Scott analysis, linear orders and almost periodic functions
par: Gonzalez, David, et autres
Publié: (2024)

Growth of regular partitions 4: strong regularity and the pairs partition
par: Terry, C.
Publié: (2024)

Growth of regular partitions 3: strong regularity and the vertex partition
par: Terry, C.
Publié: (2024)

Bridging Computational Notions of Depth
par: Bienvenu, Laurent, et autres
Publié: (2024)