Degree spectra of prime models
From MaRDI portal
Publication:5311733
DOI10.2178/jsl/1082418536zbMath1069.03025OpenAlexW2132364243MaRDI QIDQ5311733
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
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
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