DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION
From MaRDI portal
Publication:4638977
DOI10.1017/jsl.2017.70zbMath1447.03008OpenAlexW2802461792WikidataQ129899013 ScholiaQ129899013MaRDI QIDQ4638977
M. M. Yamaleev, Iskander Sh. Kalimullin, Nikolay Bazhenov
Publication date: 2 May 2018
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2017.70
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28) Categoricity and completeness of theories (03C35)
Related Items
On categoricity spectra for locally finite graphs ⋮ Finite computable dimension and degrees of categoricity ⋮ Every Δ20 degree is a strong degree of categoricity ⋮ On decidable categoricity and almost prime models ⋮ Strong degrees of categoricity and weak density ⋮ Punctual categoricity relative to a computable oracle ⋮ Degrees of bi-embeddable categoricity of equivalence structures ⋮ Coding in the automorphism group of a computably categorical structure
Cites Work
- Unnamed Item
- Unnamed Item
- Degrees that are not degrees of categoricity
- Stability of recursive structures in arithmetical degrees
- Computable structures and the hyperarithmetical hierarchy
- Degree spectra and computable dimensions in algebraic structures
- Finite computable dimension and degrees of categoricity
- Degrees of categoricity and the hyperarithmetic hierarchy
- Autostability spectra for Boolean algebras
- Degrees of categoricity vs. strong degrees of categoricity
- 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
- Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
- Computable categoricity for algebraic fields with splitting algorithms
- CONSTRUCTIVE ALGEBRAS I
- Categoricity spectra for rigid structures
- Effective categoricity of computable linear orderings