Decidable Model Companions
-
Published:1989
Issue:3
Volume:35
Page:225-227
-
ISSN:0044-3050
-
Container-title:Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
-
language:de
-
Short-container-title:MLQ - Math. Log. Quart.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Chapter 11 A bibliography of recursive algebra and recursive model theory;Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory;1998
2. Chapter 1 Pure computable model theory;Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory;1998
3. Model-theoretic aspects of unification;Word Equations and Related Topics;1992