Basic Introductory Results

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 2 in A Course on Basic Model Theory, 2017, pp 45-84 from Springer

Abstract: Abstract The goal of this chapter is to present basic introductory techniques of model theory. The main results presented are $$\L $$ oś fundamental lemma on ultraproduct of structures, compactness theorem and quantifier elimination. These are cornerstones of model theory. A large number of applications given in this chapter bear testimony to the importance of these results. We also introduce the notion of independence and dimension in minimal sets. Finally we give several applications of the results proved in this section in algebra and geometry. A large number of examples and exercises are given as we go along.

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_2

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

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

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 ().