This is a preview of subscription content, log in via an institution to check access.
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
P. Bacsich, “The strong amalgamation property,” to appear.
J.T. Baldwin and A.H. Lachlan, “On strongly minimal sets,” J. Symb. Logic 36 (1971) #1, pp 79–96.
J. Barwise and A. Robinson, “Completing theories by forcing,” Ann. Math. Logic 2 (1970), pp 119–142.
O.B. Belegradek and B.I. Zil'ber, “The model companion of an X 1-categorical theory,” Third All-Union Conference on Mathematical Logic, Институт Математики CO AH CCCP, Novosibirsk June 1974, p 10.
A.B. Carson, “The model completion of the theory of commutative regular rings,” J. of Algebra 27 (1973) #1, pp 136–146/
G. Cherlin, “Algebraically closed commutative rings,” J. Symb. Logic 38 (1973) #3, pp 493–499.
P. Eklof, “Algebraic closure operators and strong amalgamation bases,” preprint.
P. Eklof and G. Sabbagh, “Model completions and modules,” Ann. Math. Logic 2 (1971) #3, pp 251–255.
P. Henrard, “Classes of cotheories”, Proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark 1971; Leeds 1973.
J. Knight, “An example involving Skolem functions and elementary embeddings,” Notices Am. Math. Soc. 17 (1970) p 964.
J. Knight, “Generic expansions of structures,” J. Symb. Logic 38 (1973) #4, pp 561–570.
J. Knight, “Some problems in model theory,” Doctoral dissertation, University of California at Berkeley 1972.
L. Lipshitz and D. Saracino, “The model companion of the theory of commutative rings without nilpotent elements,” Proc. Am. Math. Soc. 38 (1973) pp 381–387.
A. Macintyre, “Dense embeddings,” this volume.
T. H. Payne, “An elementary submodel never preserved by Skolem expansions,” Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 15 (1969) pp 435–436.
A. Robinson, Complete Theories, North-Holland, Amserdam 1956.
A. Robinson, “Infinite forcing in model theory,” Proceedings of the Second Scandinavian Logic Symposium (J.E. Fenstad, ed), North-Holland, Amsterdam 1971; pp 317–340.
A. Robinson, Introduction to Model Theory and to the Metamathematics of Algebra, North-Holland, Amsterdam 1963.
A. Robinson, “Solution of a problem of Tarski,” Fund. Math. 47 (1959) pp 179–204.
G.E. Sacks, Saturated Model Theory, W.A. Benjamin Inc., Reading, Mass. 1972.
D. Saracino, “A counterexample in the theory of model companions,” Yale U. preprint, Oct 1973; also Notices Am. Math. Soc. 21 (1974) #2, abstract 74T-E9.
D. Saracino, “Existentially complete nilpotent groups,” to appear.
D. Saracino, “Model companions for X 0-categorical theories,” Proc. Am. Math. Soc. 39 (1973) #3, pp 591–598.
D. Saracino, “Wreath products and existentially complete solvable groups,” Yale U. preprint June 1973.
J.R. Shoenfield, Mathematical Logic, Addison-Wesley, Reading, Mass. 1967.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Winkler, P.M. (1975). Model-completeness and skolem expansions. 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/BFb0080988
Download citation
DOI: https://doi.org/10.1007/BFb0080988
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