A few things about hyperimaginaries and stable forking

[eng] The core of this PhD dissertation is basically twofold : On one hand, I get some new results on the relationship between compact groups and bounded hyperimaginaries, extending a little bit the classical results of Lascar and Pillay in Hyperimaginaries And Automorphism Groups. On the other hand...

Descripción completa

Detalles Bibliográficos
Autor: Potier, Joris
Tipo de recurso: tesis doctoral
Estado:Versión publicada
Fecha de publicación:2015
País:España
Institución:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/102249
Acceso en línea:https://hdl.handle.net/2445/102249
http://hdl.handle.net/10803/394029
Access Level:acceso abierto
Palabra clave:Lògica
Topologia
Categories (Matemàtica)
Teoria de models
Teoria de conjunts
Logic
Topology
Categories (Mathematics)
Model theory
Set theory
Descripción
Sumario:[eng] The core of this PhD dissertation is basically twofold : On one hand, I get some new results on the relationship between compact groups and bounded hyperimaginaries, extending a little bit the classical results of Lascar and Pillay in Hyperimaginaries And Automorphism Groups. On the other hand, I prove some new results around the so called "stable forking" property, more specifically that a simple theory T has stable forking if Teq has. Quite surprisingly, the proof is not so straigtforward.