Recursively presentable prime models. (English) Zbl 0332.02055


03C68 Other classical first-order model theory
03B25 Decidability of theories and sets of sentences
03C60 Model-theoretic algebra
03D99 Computability and recursion theory
Full Text: DOI


[1] Saturated model theory (1972)
[2] Recursive functions and effective computability (1967) · Zbl 0183.01401
[3] Transactions of the American Mathematical Society 95 pp 341– (1960)
[4] Transactions of the American Mathematical Society 181 pp 37– (1973) · Zbl 0265.00034
[5] Proceedings of the 3rd International Congress for Logic, Methodology and Philosophy of Science (1967)
[6] On strongly minimal sets 36 pp 79– (1971)
[7] An introduction to differential algebra (1957)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.