Bounding homogenous models

DOI10.2178/JSL/1174668397MaRDI QIDQ3426576zbMATH OpenOpenAlexFDO

Authors Denis R. Hirschfeldt, Robert I. Soare, Barbara Csima, Valentina Harizanov

Publication date 12 March 2007

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

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

zbMATH Keywords

complete decidable theoryhomogeneous bounding degreehomogeneous modelPA degreeTuring degree

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Other Turing degree structures (03D28) First-order arithmetic and fragments (03F30)

Recommendations

• Computability of homogeneous models
• The degree spectra of homogeneous models
• A characterization of the \(0\)-basis homogeneous bounding degrees
• scientific article; zbMATH DE number 4016877
• Homogeneous 0'-elements in structural partial orderings

Cites work

• Computable structures and the hyperarithmetical hierarchy
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 225477 (Why is no real title available?)
• scientific article; zbMATH DE number 3401261 (Why is no real title available?)
• Model Theory

Cited in

(6)

• Homogeneity in iterated models
• Computable trees, prime models, and relative decidability
• Simple homogeneous models
• A characterization of the \(0\)-basis homogeneous bounding degrees
• Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
• Homogeneous 0'-elements in structural partial orderings

This page was built for publication: Bounding homogenous models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3426576)