Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Ax and S. Kochen, Diophantine problems over local fields: III. Decidable Fields, Annals of Math. 83 (1966), 437–456.
J. Baldwin and A. Lachlan, On strongly minimal sets, J. S. L. 36 (1971), 79–96.
C. C. Chang and H. J. Keisler Model Theory, North Holland, 1973.
P. Erdös, L. Gillman and M. Henriksen, An isomorphism theorem for real closed fields, Annals of Math., 61 (1955), 542–554.
C. Karp, Languages with Expressions of Infinite Length, North Holland, 1964.
H. J. Keisler, Complete theories of algebraically closed fields with distinguished subfields, Michigan Mathematical Journal, 11 (1964), 71–81.
A. Macintyre, Classifying Pairs of Real Closed Fields, Ph. D. Thesis, Stanford, 1968.
-, Complete theories of topological fields with distinguished dense proper subfields, J. S. L. 34 (1969), 538.
A. Macintyre, Definable subsets of valued fields, in preparation.
M. D. Morley, Categoricity in power, Transactions A. M. S. 114 (1965), 514–538.
M. Mortimer, Ph. D. Thesis, Bedford College, London, 1973.
A. Robinson, Solution of a problem of Tarski, Fundamenta Math. 47 (1959), 179–204.
G. Sacks, Saturated Model Theory, Benjamin, 1972.
J. R. Shoenfield, A theorem on quantifier elimination, Symposia Mathematica 5, 1971, 173–176.
E. Steinitz, Algebraische Theorie der Korper, Berlin, 1930.
A. Tarski and J. C. C. McKinsey, A Decision Method for Elementary Algebra and Geometry, Rand Corporation, Santa Monica, 1948.
P. Winkler, This volume.
P. Winkler, Ph. D. Thesis, Yale, 1975.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Macintyre, A. (1975). Dense embeddings I: A theorem of Robinson in a general setting. In: Saracino, D.H., Weispfenning, V.B. (eds) Model Theory and Algebra. Lecture Notes in Mathematics, vol 498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0080981
Download citation
DOI: https://doi.org/10.1007/BFb0080981
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07538-7
Online ISBN: 978-3-540-38057-3
eBook Packages: Springer Book Archive