Punctual categoricity relative to a computable oracle

DOI10.1134/S1995080221040107zbMath1491.03028OpenAlexW3166875536MaRDI QIDQ2030137

Alexander G. Melnikov, Iskander Sh. Kalimullin

Publication date: 7 June 2021

Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s1995080221040107

zbMATH Keywords

algebraic structureprimitive recursive functioncomputable functionfinitely generated structurelocally finite structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items

Punctual categoricity spectra of computably categorical structures

Cites Work

• Abelian \(p\)-groups and the halting problem
• Existence and uniqueness of structures computable in polynomial time
• The complexity of computable categoricity
• Algebraic structures computable without delay
• Polynomial-time Abelian groups
• Computable structures and the hyperarithmetical hierarchy
• The diversity of categoricity without delay
• Computable torsion abelian groups
• Computability-theoretic categoricity and Scott families
• Back and forth relations for reduced abelian \(p\)-groups
• Degrees of categoricity and the hyperarithmetic hierarchy
• Degrees of categoricity of rigid structures
• Strong degrees of categoricity and weak density
• On \(\Delta_2^0\)-categoricity of equivalence relations
• Degrees of autostability relative to strong constructivizations for Boolean algebras
• Degrees of categoricity vs. strong degrees of categoricity
• Degrees of categoricity of computable structures
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Torsion-free abelian groups with optimal Scott families
• DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION
• Coding in the automorphism group of a computably categorical structure
• FOUNDATIONS OF ONLINE STRUCTURE THEORY
• CONSTRUCTIVE ALGEBRAS I
• PUNCTUAL CATEGORICITY AND UNIVERSALITY

This page was built for publication: Punctual categoricity relative to a computable oracle