Homogeneous 0'-elements in structural partial orderings

DOI10.1007/BF01980232MaRDI QIDQ751651zbMATH OpenFDO

Authors A. S. Denisov

Publication date 1989

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

zbMATH Keywords

homogeneous modelalgorithmic complexityprime modelTuring degreedecidable theorystructural partial orders

Mathematics Subject Classification ID

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

Recommendations

• The degree spectra of homogeneous models
• Degree spectra of prime models
• Computability of homogeneous models
• Bounding homogenous models
• A characterization of the \(0\)-basis homogeneous bounding degrees

Cites work

• scientific article; zbMATH DE number 4164815 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• 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

Cited in

(4)

• A characterization of the \(0\)-basis homogeneous bounding degrees
• Homogeneous and strictly homogeneous criteria for partial structures
• Bounding homogenous models
• Degree spectra of prime models

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

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