On positive enumarated models

DOI10.1007/BF00970490zbMath0737.03020OpenAlexW2006586142MaRDI QIDQ1177463

B. M. Khusainov

Publication date: 26 June 1992

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00970490

zbMATH Keywords

recursively enumerable setfinitely generated equivalencepositively enumerated model

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item