Model completeness of some metric completions of absolutely free algebras
- 18 Downloads
KeywordsModel Completeness Algebra UNIV Free Algebra Equational Compactness Existential Formula
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- C. C. Chang andH. J. Keisler,Model theory, North-Holland Publ. Co., 1973.Google Scholar
- G. Kreisel andJ. L. Krivine,Elements of mathematical logic, North-Holland Publ. Co., 1967.Google Scholar
- A. I. Mal'cev,Axiomatizable classes of locally free algebras of various types, in his collected papers,The metamathematics of algebraic systems, North-Holland Publ. Co., 1971, 262–281.Google Scholar
- P. Perlmutter,Some completions of the algebra of terms, Thesis, University of Colorado, 1975.Google Scholar
- A. Robinson,Model theory as a framework for algebra, inStudies in Model Theory, MAA Studies in Math. vol. 8, Editor M. D. Morley 1973, pp. 134–157.Google Scholar
- G. Sacks Saturated model theory, Math. Lecture Notes Series, Publ. W. A. Benjamin Inc. 1972.Google Scholar
© Birkhäuser Verlag 1981