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
Barwise, Jon, and J. Schlipf, "An Introduction to Recursively Saturated and Resplendent Models", Journal of Symbolic Logic, Vol. 41, No. 2, 1976, pp. 531–536.
Millar, T., "Some Results in Recursive Model Theory", Notices A.M.S., Vol. 24, 77T-E11.
Millar, T., "Vaught's Theorem Recursively Revisited", Journal of Symbolic Logic, to appear.
Sacks, G.E., Saturated Model Theory, W. H. Benjamin, Inc., 1972.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Millar, T. (1981). Counter-examples via model completions. In: Lerman, M., Schmerl, J.H., Soare, R.I. (eds) Logic Year 1979–80. Lecture Notes in Mathematics, vol 859. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090949
Download citation
DOI: https://doi.org/10.1007/BFb0090949
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10708-8
Online ISBN: 978-3-540-38673-5
eBook Packages: Springer Book Archive