| 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 |
||