Degree spectra of prime models

DOI10.2178/jsl/1082418536zbMath1069.03025OpenAlexW2132364243MaRDI QIDQ5311733

Barbara F. Csima

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1082418536

zbMATH Keywords

Turing degreesatomic theoryprime models of complete decidable theories

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28)

Related Items (max. 100)

Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem ⋮ Some Questions in Computable Mathematics ⋮ Computable trees, prime models, and relative decidability ⋮ The atomic model theorem and type omitting

Cites Work

• Unnamed Item
• Homogeneous \(0'\)-elements in structural partial orderings
• Degrees coded in jumps of orderings
• Foundations of recursive model theory
• Relative to any nonrecursive set
• Enumerations, countable structures and Turing degrees
• Bounding prime models
• Class groups of integral group rings

This page was built for publication: Degree spectra of prime models