Keywords
- Inductive Procedure
- Amalgamation Property
- Quantifier Elimination
- Local Isomorphism
- Real Closure
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.
This is a preview of subscription content, access via your institution.
Preview
Unable to display preview. Download preview PDF.
References
Blum, L., Ph.D. Thesis, Massachusetts Institute of Technology, 1968
Fraissé, R. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. II. Application aux relations d'ordres. Alger-Mathématiques 2 (1955), 16–60, 273–295
Keisler, H.J., Ultraproducts and saturated models, Indag. Math. 26 (1964), 178–186.
Kochen, S., Ultraproducts in the theory of models, Ann. of Math. 74 (1961), 221–261.
Mostowski, A., and Tarski, A., Arithmetical classes and types of well-ordered systems, Bull. Amer. Math. Soc. 55 (1949), 65.
Morley, M., and Vaught, R., Homogeneous universal models, Math. Scand. 11 (1962), 37–57.
Robinson, A., Complete Theories, Amsterdam, 1956, 129pp.
Sacks, G.E., Saturated Model Theory, Reading, Mass., 1972, xii+335pp.
Shoenfield, J.R., Mathematical Logic, Reading, Mass., 1967, vii+344pp.
Shoenfield, J.R., A theorem on quantifier elimination, Symposia Mathematica 5 (1970), 173–176.
Szmielew, W., Elementary properties of abelian groups, Fund. Math. 41 (1955), 203–271.
Tarski, A., A Decision Method for Elementary Algebra and Geometry, Berkeley and Los Angeles, 1951, iii+63 pp.
Tarski, A., Arithmetical classes and types of Boolean algebras, Bull. Amer. Math. Soc. 55 (1949), 64.
Vaught, R., Denumerable models of complete theories, Infinitistic Methods, Wardzawa, 1961, 303–321.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Krauss, P. (1975). Quantifier elimination. In: Müller, G.H., Oberschelp, A., Potthoff, K. (eds) ⊨ISILC Logic Conference. Lecture Notes in Mathematics, vol 499. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0079427
Download citation
DOI: https://doi.org/10.1007/BFb0079427
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07534-9
Online ISBN: 978-3-540-38022-1
eBook Packages: Springer Book Archive
