This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Dr Enrique Casanovas is a Professor of Logic and Philosophy of Science in the Department of Logic, History and Philosophy of Science at the University of Barcelona. His research has been published in the Journal of Symbolic Logic, Annals of Pure and Applied Logic and the Journal of Mathematical Logic, among others.
Inhaltsangabe
1. Preliminaries; 2. -types, stability and simplicity; 3. -types and the local rank D( , , k); 4. Forking; 5. Independence; 6. The local rank CB ( ); 7. Heirs and coheirs; 8. Stable forking; 9. Lascar strong types; 10. The independence theorem; 11. Canonical bases; 12. Abstract independence relations; 13. Supersimple theories; 14. More ranks; 15. Hyperimaginaries; 16. Hyperimaginary forking; 17. Canonical bases revisited; 18. Elimination of hyperimaginaries; 19. Orthogonality and analysability; 20. Hyperimaginaries in supersimple theories.