Degrees of categoricity of rigid structures

DOI10.1007/978-3-319-58741-7_16zbMath1496.03152OpenAlexW2614087810MaRDI QIDQ2011647

M. M. Yamaleev, Nikolay Bazhenov

Publication date: 4 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-58741-7_16

zbMATH Keywords

categoricity spectrumrigid structurestrong degree of categoricity2-c.e. Turing degrees

Mathematics Subject Classification ID

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

Related Items

Strong degrees of categoricity and weak density ⋮ Punctual categoricity relative to a computable oracle ⋮ Categoricity spectra of computable structures

Cites Work

• Unnamed Item
• Degrees that are not degrees of categoricity
• Degrees of categoricity and the hyperarithmetic hierarchy
• Autostability spectra for Boolean algebras
• Degrees of autostability relative to strong constructivizations for Boolean algebras
• Degrees of categoricity vs. strong degrees of categoricity
• Degrees of autostability for linear orders and linearly ordered abelian groups
• Degrees of categoricity for superatomic Boolean algebras
• Degrees of autostability relative to strong constructivizations
• Degrees of categoricity of computable structures
• Effective procedures in field theory
• d-computable categoricity for algebraic fields
• Computable categoricity for algebraic fields with splitting algorithms
• CONSTRUCTIVE ALGEBRAS I
• Categoricity spectra for rigid structures
• Effective categoricity of computable linear orderings