Bounding homogenous models

DOI10.2178/jsl/1174668397zbMath1116.03027OpenAlexW1504640313MaRDI QIDQ3426576

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

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

homogeneous modelTuring degreecomplete decidable theoryPA degreehomogeneous bounding degree

Mathematics Subject Classification ID

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

Related Items (2)

Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem ⋮ Computable trees, prime models, and relative decidability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computable structures and the hyperarithmetical hierarchy
• Model Theory

This page was built for publication: Bounding homogenous models