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 |
Tabla de Contenidos:
- 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
- 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