Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Feferman, S.: Persistent and invariant formulas for outer extensions. Compositio Math. 20 (1968), 29–52
2. Feferman, S.: Applications of many-sorted interpolation theorems. Proc. of AMS Symposia in Pure Math. (Tarksi Symposium), vol. 25 (1975), 205–227
3. Gurevich, Y.: Elementary properties of ordered abelian groups. Translations AMS 46 (1965), 165–192
4. Gurevich, Y.: The decision problem for some algebraic theories. Doctoral dissertation, Sverdlovsk 1968
5. Gurevich, Y.: Expanded theory of ordered abelian groups. Annals of Math. Logic 12 (1977), 193–228
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献