Cargando…
Simplicity theory /
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 t...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford :
Oxford University Press,
2014.
|
| Edición: | First edition. |
| Colección: | Oxford logic guides ;
53. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn868960110 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 131102s2014 enk ob 001 0 eng d | ||
| 040 | |a E7B |b eng |e rda |e pn |c E7B |d OCLCO |d N$T |d OCLCF |d EBLCP |d OCLCQ |d UAB |d YDXCP |d N15 |d COO |d STBDS |d DEBBG |d WYU |d YOU |d OCLCQ |d K6U |d MVS |d VLY |d OCLCO |d QGK |d OCLCQ |d SFB |d OCLCQ | ||
| 015 | |a GBA875294 |2 bnb | ||
| 019 | |a 870284528 |a 877920491 |a 1066010420 |a 1259233499 | ||
| 020 | |a 9780191511585 |q (electronic bk.) | ||
| 020 | |a 0191511587 |q (electronic bk.) | ||
| 020 | |a 9780191746512 | ||
| 020 | |a 0191746517 | ||
| 020 | |a 1299963706 | ||
| 020 | |a 9781299963702 | ||
| 020 | |z 9780198567387 | ||
| 020 | |z 0198567383 | ||
| 029 | 1 | |a DEBBG |b BV043027938 | |
| 029 | 1 | |a DEBSZ |b 446441430 | |
| 029 | 1 | |a NLGGC |b 371257212 | |
| 035 | |a (OCoLC)868960110 |z (OCoLC)870284528 |z (OCoLC)877920491 |z (OCoLC)1066010420 |z (OCoLC)1259233499 | ||
| 050 | 4 | |a QA9.7 |b .K56 2014eb | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.34 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Kim, Byunghan. | |
| 245 | 1 | 0 | |a Simplicity theory / |c Byungham Kim. |
| 250 | |a First edition. | ||
| 264 | 1 | |a Oxford : |b Oxford University Press, |c 2014. | |
| 300 | |a 1 online resource (235 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides ; |v 53 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Online resource; title from PDF title page (ebrary, viewed November 2, 2013). | |
| 520 | 8 | |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. | |
| 505 | 8 | |a 4.2 Non-forking Independence of Hyperimaginaries4.3 Canonical Bases; 4.4 Forking Relationships between Types; 4.5 Bibliographical Remarks; 5 Elimination of Hyperimaginaries; 5.1 The Lascar Group; 5.2 Lascar Types Are Strong Types in Low Theories; 5.3 Elimination of Finitary Hyperimaginaries for Small Theories; 5.4 Elimination of Hyperimaginaries for Supersimple Theories; 5.5 Definability; 5.6 Bibliographical Remarks; 6 Constructing Simple Structures; 6.1 Modularity and CM-Triviality; 6.2 Hrushovski Construction; 6.3 Generic Predicates/Automorphisms and Lovely Pairs | |
| 505 | 8 | |a 9.4 An Application to 1-Based Theories9.5 Recovering the Hyperdefinable Group Action; 9.6 Bibliographical Remarks; References; Index; A; B; C; D; E; F; G; H; I; L; M; O; P; R; S; T; W; Z | |
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Model theory. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Théorie des modèles. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Model theory. |2 fast |0 (OCoLC)fst01024368 | |
| 776 | 0 | 8 | |i Print version: |a Kim, Byunghan, 1963- |t Simplicity theory. |b First edition. |z 9780198567387 |z 0198567383 |
| 830 | 0 | |a Oxford logic guides ; |v 53. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=215699 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL3055719 | ||
| 938 | |a ebrary |b EBRY |n ebr10777151 | ||
| 938 | |a EBSCOhost |b EBSC |n 215699 | ||
| 938 | |a Oxford University Press USA |b OUPR |n EDZ0000176104 | ||
| 938 | |a YBP Library Services |b YANK |n 11122920 | ||
| 938 | |a YBP Library Services |b YANK |n 11210967 | ||
| 994 | |a 92 |b IZTAP | ||