The degree spectra of homogeneous models

DOI10.2178/jsl/1230396762zbMath1160.03014OpenAlexW1989985469MaRDI QIDQ3617376

Karen Lange

Publication date: 23 March 2009

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

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

zbMATH Keywords

Turing degreecomputable modelsdegree spectrahomogeneous modelsdecidable copy

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (5)

On Decidable and Computable Models of Theories ⋮ Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem ⋮ A characterization of the 0-basis homogeneous bounding degrees ⋮ Prime models of computably enumerable degree ⋮ \(\mathsf{WKL}_0\) and induction principles in model theory

Cites Work

• Computability of homogeneous models
• Homogeneous models and decidability
• Decidable models
• Computable structures and the hyperarithmetical hierarchy
• Degrees coded in jumps of orderings
• Foundations of recursive model theory
• Unnamed Item
• Unnamed Item

This page was built for publication: The degree spectra of homogeneous models