Theory spectra and classes of theories
From MaRDI portal
Publication:5267981
DOI10.1090/tran/6917zbMath1423.03146OpenAlexW2516774363MaRDI 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
Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items
DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS, Constructing decidable graphs from decidable structures, Spectra of theories and structures
Cites Work
- Unnamed Item
- Unnamed Item
- 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