Morley Categoricity Theorem

Haimanti Sarbadhikari and Shashi Mohan Srivastava ()
Additional contact information
Haimanti Sarbadhikari: Indian Statistical Institute, Stat-Math Unit
Shashi Mohan Srivastava: Indian Statistical Institute, Stat-Math Unit

Chapter Chapter 5 in A Course on Basic Model Theory, 2017, pp 151-166 from Springer

Abstract: 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].

Keywords: Order Indiscernibles; Countable Complete Theory; Modern Model Theory; Unary Predicate Symbol; Infrastructure Elements (search for similar items in EconPapers)
Date: 2017
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-981-10-5098-5_5

Ordering information: This item can be ordered from
http://www.springer.com/9789811050985

DOI: 10.1007/978-981-10-5098-5_5

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().