Effective algebraicity
From MaRDI portal
Publication:1935364
DOI10.1007/s00153-012-0308-5zbMath1300.03021MaRDI QIDQ1935364
Publication date: 15 February 2013
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-012-0308-5
computability; computable categoricity; degree spectra; algebraic field; computable tree; computable graph
03D80: Applications of computability and recursion theory
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
Bi‐embeddability spectra and bases of spectra, On categoricity spectra for locally finite graphs, Classifications of computable structures, Effectively Existentially-Atomic Structures, Prime Model with No Degree of Autostability Relative to Strong Constructivizations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Degrees of categoricity and the hyperarithmetic hierarchy
- Degrees of categoricity of computable structures
- Turing Computability
- Spectra of structures and relations
- Spectra of Algebraic Fields and Subfields
- d-computable categoricity for algebraic fields
- Degrees coded in jumps of orderings
- Computable categoricity for algebraic fields with splitting algorithms
- Categoricity properties for computable algebraic fields
- ∏ 0 1 Classes and Degrees of Theories