Spectra of theories and structures
From MaRDI portal
Publication:5496464
DOI10.1090/S0002-9939-2014-12283-0zbMATH Open1386.03048MaRDI QIDQ5496464FDOQ5496464
Authors: Uri Andrews, Joseph S. Miller
Publication date: 2 February 2015
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Recommendations
Computable structure theory, computable model theory (03C57) Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45)
Cites Work
- Algorithmic randomness and complexity.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Enumerations in computable structure theory
- Title not available (Why is that?)
- Degree spectra and immunity properties
- Degree spectra and computable dimensions in algebraic structures
- Non Σn axiomatizable almost strongly minimal theories
- Degrees coded in jumps of orderings
- Transfinite extensions of Friedberg's completeness criterion
- Degrees of Structures
- Enumerations, countable structures and Turing degrees
- Relative to any non-hyperarithmetic set
- Title not available (Why is that?)
- Natural large degree spectra
- Theory spectra and classes of theories
- Recursive in a generic real
- Spectra of atomic theories
Cited In (13)
- The \(\Delta_2^0\)-spectrum of a linear order
- Spectra of high\(_n\) and non-low\(_n\) degrees
- Degree spectra of structures relative to equivalences
- Bi‐embeddability spectra and bases of spectra
- Constructing decidable graphs from decidable structures
- Theory spectra and classes of theories
- $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$
- Spectra of atomic theories
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
- Natural large degree spectra
- DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS
- Spectra of degrees of some structures
- Spectra of structures and relations
This page was built for publication: Spectra of theories and structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5496464)