Abstract
In this chapter, we present the proof of Baldwin and Lachlan of the Morley categoricity theorem. The proof uses among other things indiscernibles and Vaughtian pair of models. Morley’s theorem is a very important milestone in model theory. It heralded the modern era of model theory. The concept of indiscernibles was introduced by Ehrenfeucht and Mostowski [11].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Sarbadhikari, H., Srivastava, S.M. (2017). Morley Categoricity Theorem. In: A Course on Basic Model Theory. Springer, Singapore. https://doi.org/10.1007/978-981-10-5098-5_5
Download citation
DOI: https://doi.org/10.1007/978-981-10-5098-5_5
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-5097-8
Online ISBN: 978-981-10-5098-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)