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

• 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

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)

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)

• Constructing decidable graphs from decidable structures
• Spectra of theories and structures
• DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS
• Ordinal spectra of first-order theories

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)