Theory spectra and classes of theories
From MaRDI portal
Publication:5267981
DOI10.1090/tran/6917zbMath1423.03146MaRDI QIDQ5267981
Steffen Lempp, Joseph S. Miller, Uri Andrews, Mingzhong Cai, David E. Diamondstone
Publication date: 14 June 2017
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/tran/6917
03D30: Other degrees and reducibilities in computability and recursion theory
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS, Spectra of theories and structures, Constructing decidable graphs from decidable structures
Cites Work
- Computable models of theories with few models
- Degree spectra and computable dimensions in algebraic structures
- RELATIVE TO ANY NON-HYPERARITHMETIC SET
- Degrees of Recursively Saturated Models
- Degrees of unsolvability associated with classes of formalized theories
- Non Σn axiomatizable almost strongly minimal theories
- Spectra of degrees of some structures
- Spectra of Atomic Theories
- Some Notes on Degree Spectra of the Structures
- Spectra of theories and structures
- Unnamed Item
- Unnamed Item