Theory spectra and classes of theories
DOI10.1090/TRAN/6917zbMATH Open1423.03146OpenAlexW2516774363MaRDI QIDQ5267981FDOQ5267981
Steffen Lempp, David Diamondstone, Joseph S. Miller, Uri Andrews, Mingzhong Cai
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
Recommendations
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Other degrees and reducibilities in computability and recursion theory (03D30)
Cites Work
- Computable models of theories with few models
- Degrees of Recursively Saturated Models
- Degree spectra and computable dimensions in algebraic structures
- Non Σn axiomatizable almost strongly minimal theories
- Degrees of unsolvability associated with classes of formalized theories
- Some Notes on Degree Spectra of the Structures
- Relative to any non-hyperarithmetic set
- Spectra of theories and structures
- Title not available (Why is that?)
- Spectra of degrees of some structures
- Title not available (Why is that?)
- Spectra of Atomic Theories
Cited In (4)
This page was built for publication: Theory spectra and classes of theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5267981)