PUNCTUAL CATEGORICITY AND UNIVERSALITY
From MaRDI portal
Publication:5858918
DOI10.1017/jsl.2020.51zbMath1485.03174OpenAlexW3094321964MaRDI QIDQ5858918
Keng Meng Ng, Alexander G. Melnikov, Noam Greenberg, Rodney G. Downey, Daniel D. Turetsky
Publication date: 15 April 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2020.51
Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45)
Related Items (6)
Rogers semilattices of punctual numberings ⋮ Punctually presented structures I: Closure theorems ⋮ Punctual categoricity relative to a computable oracle ⋮ Punctual definability on structures ⋮ Non-density in punctual computability ⋮ Computable embeddability for algebraic structures
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The complexity of computable categoricity
- Algebraic structures computable without delay
- Space complexity of abelian groups
- Polynomial-time Abelian groups
- Computable structures and the hyperarithmetical hierarchy
- Degree spectra and computable dimensions in algebraic structures
- Computability of distributive lattices
- Primitive recursive fields and categoricity
- Eliminating unbounded search in computable algebra
- Graphs are not universal for online computability
- Some Questions in Computable Mathematics
- Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))
- On-Line Coloring and Recursive Graph Theory
- A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- The Classification Problem for Compact Computable Metric Spaces
- COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
- Metric structures for Riemannian and non-Riemannian spaces. Transl. from the French by Sean Michael Bates. With appendices by M. Katz, P. Pansu, and S. Semmes. Edited by J. LaFontaine and P. Pansu
This page was built for publication: PUNCTUAL CATEGORICITY AND UNIVERSALITY