scientific article; zbMATH DE number 4112568

MaRDI QIDQ3835446zbMATH OpenFDO

Authors B. M. Khusainov

Publication date 1986

zbMATH Keywords

constructivizationsrecursively stablestrongly effective unarunar

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Unary algebras (08A60)

Recommendations

• scientific article; zbMATH DE number 4093434
• scientific article; zbMATH DE number 4216824
• Strongly \(\forall\)-finite theories of unars
• Complete theories of unars
• scientific article; zbMATH DE number 4104935

Cited in

(6)

• Strongly \(\forall\)-finite theories of unars
• Primitively recursive categoricity for unars and equivalence structures
• Limitwise monotonic spectra and their generalizations
• scientific article; zbMATH DE number 4093434 (Why is no real title available?)
• Complete theories of unars
• A local version of the Slaman-Wehner theorem and families closed under finite differences

This page was built for publication:

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