PUNCTUAL CATEGORICITY AND UNIVERSALITY

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

zbMATH Keywords

computable structuresprimitive recursionpunctual computability

Mathematics Subject Classification ID

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