A few things about hyperimaginaries and stable forking

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 pr...

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:CBUC, CESCA
Repositorio:TDR. Tesis Doctorales en Red
OAI Identifier:oai:www.tdx.cat:10803/394029
Acceso en línea:http://hdl.handle.net/10803/394029
Access Level:acceso abierto
Palabra clave:Lògica
Lógica
Logic
Topologia
Topología
Topology
Categories (Matemàtica)
Categorías (Matemáticas)
Categories (Mathematics)
Teoria de models
Teoría de modelos
Model theory
Teoria de conjunts
Teoría de conjuntos
Set theory
Ciències Humanes i Socials
16
Descripción
Sumario: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.