Theory spectra and classes of theories

DOI10.1090/TRAN/6917MaRDI QIDQ5267981zbMATH OpenOpenAlexFDO

Authors Uri Andrews, Mingzhong Cai, Steffen Lempp, Joseph S. Miller, David 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

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Spectra of theories and structures
• Spectra of atomic theories
• scientific article; zbMATH DE number 3916234
• The uncountable spectra of countable theories
• On spectra of computable models

Cites work

• scientific article; zbMATH DE number 5836294 (Why is no real title available?)
• scientific article; zbMATH DE number 1405580 (Why is no real title available?)
• Computable models of theories with few models
• Degree spectra and computable dimensions in algebraic structures
• Degrees of Recursively Saturated Models
• Degrees of unsolvability associated with classes of formalized theories
• Non Σ_n axiomatizable almost strongly minimal theories
• Relative to any non-hyperarithmetic set
• Some Notes on Degree Spectra of the Structures
• Spectra of atomic theories
• Spectra of degrees of some structures
• Spectra of theories and structures

Cited in

(7)

• Constructing decidable graphs from decidable structures
• Models of cubic theories
• Spectra of theories and structures
• Spectra of atomic theories
• DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS
• Ordinal spectra of first-order theories
• The number of fragments of the perfect class of the Jonsson spectrum

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)