000 01440nam a2200241 4500
005 20250612172258.0
008 250612b |||||||| |||| 00| 0 eng d
020 _a9789811243998
040 _aCSL
_cCSL
041 _2eng
_aeng
084 _aBz7 R4
_qCSL
100 _aPillay, Anand
_eauthor.
_9494270
245 _aTopics in Model Theory
260 _aSingapore:
_bWorld Scientific,
_c2024.
300 _axii, 138p.
_b: ill.
_c; 23 cm.
500 _aIncludes Index
520 _aThis book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory, treated a little differently from in the author's book Geometric Stability Theory. There is also a survey of general and geometric stability theory, as well as applications to combinatorics (stable regularity lemma) using pseudofinite methods. The second is an introduction to "continuous logic" or "continuous model theory," drawing on the main texts and papers, but with an independent point of view. This chapter includes some historical background, including some other formalisms for continuous logic and a discussion of hyperimaginaries in classical first order logic.
650 _aModel theory
_9812754
650 _aMathematical logic
_9812526
650 _aLogic, Symbolic and mathematical
_9812755
650 _aStructures
_9812756
942 _2CC
_n0
_cTEXL
_hBz7 R4
999 _c1431672
_d1431672