Homogeneous \(0'\)-elements in structural partial orderings

DOI10.1007/BF01980232zbMath0715.03016MaRDI QIDQ751651

A. S. Denisov

Publication date: 1989

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

algorithmic complexitydecidable theoryhomogeneous modelprime modelTuring degreestructural partial orders

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Degree spectra of prime models

Cites Work

• Constructive homogeneous extensions
• Numerations of saturated and homogeneous models
• Some aspects of generalized computability
• Trial and error predicates and the solution to a problem of Mostowski
• Unnamed Item
• Unnamed Item

This page was built for publication: Homogeneous \(0'\)-elements in structural partial orderings