Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Simplicity theory / Byunghan Kim.

By: Material type: TextTextSeries: Oxford logic guides ; 53.Publication details: Oxford : Oxford University Press, 2014.Description: x, 224 p. : illustrations ; 24 cmISBN:
  • 9780198567387 (hbk.)
Subject(s): DDC classification:
  • 511.34 23 K49
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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
Total holds: 0

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.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in