|
|
|
|
LEADER |
01375nmm a2200265 u 4500 |
001 |
EB001040775 |
003 |
EBX01000000000000000829517 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
180413 ||| eng |
020 |
|
|
|a 9780191746512
|
050 |
|
4 |
|a QA9.7
|
100 |
1 |
|
|a Kim, Byunghan
|
245 |
0 |
0 |
|a Simplicity theory
|h Elektronische Ressource
|c Byunghan Kim
|
260 |
|
|
|a Oxford
|b Oxford University Press
|c 2014, 2014
|
300 |
|
|
|a 1 online resource
|
505 |
0 |
|
|a Includes bibliographical references and index
|
653 |
|
|
|a Model theory
|
653 |
|
|
|a Mathematics / ukslc
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b OUP
|a Oxford University Press
|
490 |
0 |
|
|a Oxford logic guides / Oxford logic guides
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1093/acprof:oso/9780198567387.001.0001?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511.34
|
520 |
|
|
|a 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
|