Spectra of theories and structures
From MaRDI portal
Publication:5496464
DOI10.1090/S0002-9939-2014-12283-0zbMath1386.03048MaRDI QIDQ5496464
Publication date: 2 February 2015
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Recursively (computably) enumerable sets and degrees (03D25) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items (7)
DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS ⋮ Bi‐embeddability spectra and bases of spectra ⋮ Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations ⋮ $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$ ⋮ Degree spectra of structures relative to equivalences ⋮ Constructing decidable graphs from decidable structures ⋮ Theory spectra and classes of theories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Degree spectra and computable dimensions in algebraic structures
- Enumerations in computable structure theory
- Natural Large Degree Spectra
- RELATIVE TO ANY NON-HYPERARITHMETIC SET
- Algorithmic Randomness and Complexity
- Degree spectra and immunity properties
- Non Σn axiomatizable almost strongly minimal theories
- Degrees coded in jumps of orderings
- Transfinite extensions of Friedberg's completeness criterion
- Enumerations, countable structures and Turing degrees
- Degrees of Structures
- Recursive in a generic real
- Theory spectra and classes of theories
- Spectra of Atomic Theories
This page was built for publication: Spectra of theories and structures
