Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Addison, J. W. [1959] Some consequences of the axiom of constructibility, Fund. Math. 46, 337–357.
2. Balbes, R. and Dwinger, P. [1974] Distributive lattices, University of Missouri Press, Columbia, Missouri.
3. Church, A. and Quine, W. V. [1952] Some theorems on definability and decidability, J. Symb. Logic 17, 179–187.
4. Lect. Notes in Math.;R. Epstein,1979
5. Ershov, Yu. L., Lavrov, I. A., Taimanov, A. D. and Taitslin, A. M. [1965] Elementary theories, Russian Mathematical Surveys 20, 35–105.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献