Simplicity theory / Byunghan Kim.
Material type:
TextSeries: Oxford logic guides ; 53.Publication details: Oxford : Oxford University Press, 2014.Description: x, 224 p. : illustrations ; 24 cmISBN: - 9780198567387 (hbk.)
- 511.34 23 K49
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.34 K49 (Browse shelf(Opens below)) | Available | 136054 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 511.33 Y78 Theory of sets of points | 511.34 Model theory with applications to algebra and analysis | 511.34 D536 Institution-independent model theory | 511.34 K49 Simplicity theory / | 511.34 K58 An Invitation to Model Theory/ | 511.34 Sa243 Course on basic model theory / | 511.34 T313 Course in model theory / |
Includes bibliographical references (pages 217-222) and index.
1. Introduction --
2. Dividing, forking, and simplicity --
3. Lascar strong types and type amalgamation --
4. Hyperimaginaries and canonical bases --
5. Elimination of hyperimaginaries --
6. Constructing simple structures --
7. Groups --
8. A geometry of forking --
9. Generalized amalgamation and the group configuration theorem--
References--
Index.
This title is about simple first-order theories. In the mid-1990s the author established in his thesis the symmetry and transitivity of non-forking for simple theories and, type-amalgamation for Lascar strong types. Since then a great deal of research work on simplicity theory, the study of simple theories and structures has been produced. This book starts with the introduction of the fundamental notions of dividing and forking, and covers up to the hyperdefinable group configuration theorem for simple theories.
There are no comments on this title.
