Constructivizability of a prime model

DOI10.1007/BF00968896zbMath0586.03024OpenAlexW2006077889MaRDI QIDQ1071755

K. Zh. Kudaibergenov

Publication date: 1984

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

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

zbMATH Keywords

complete decidable theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57)

Cites Work

• Unnamed Item
• Some aspects of generalized computability

This page was built for publication: Constructivizability of a prime model