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
id ES_d1359acd00a33679784544e52f59bfe1
oai_identifier_str oai:www.tdx.cat:10803/394029
network_acronym_str ES
network_name_str España
repository_id_str
spelling A few things about hyperimaginaries and stable forkingPotier, JorisLògicaLógicaLogicTopologiaTopologíaTopologyCategories (Matemàtica)Categorías (Matemáticas)Categories (Mathematics)Teoria de modelsTeoría de modelosModel theoryTeoria de conjuntsTeoría de conjuntosSet theoryCiències Humanes i Socials16The 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.En este texto se trata, por una parte, de la relación entre grupos compactos e hiper-imaginarios acotados, y por otra parte se prueba que una teoría T tiene la propiedad de bifurcación estable si i solo si Teq la tiene.Universitat de BarcelonaCasanovas Ruiz-Fornells, EnriqueCasanovas Ruiz-Fornells, EnriqueUniversitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència201620162015info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersion124 p.application/pdfapplication/pdfhttp://hdl.handle.net/10803/394029TDX (Tesis Doctorals en Xarxa)reponame:TDR. Tesis Doctorales en Redinstname:CBUC, CESCAInglésL'accés als continguts d'aquesta tesi queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by-nc-sa/4.0/http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccessoai:www.tdx.cat:10803/3940292026-06-14T12:46:07Z
dc.title.none.fl_str_mv A few things about hyperimaginaries and stable forking
title A few things about hyperimaginaries and stable forking
spellingShingle A few things about hyperimaginaries and stable forking
Potier, Joris
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
title_short A few things about hyperimaginaries and stable forking
title_full A few things about hyperimaginaries and stable forking
title_fullStr A few things about hyperimaginaries and stable forking
title_full_unstemmed A few things about hyperimaginaries and stable forking
title_sort A few things about hyperimaginaries and stable forking
dc.creator.none.fl_str_mv Potier, Joris
author Potier, Joris
author_facet Potier, Joris
author_role author
dc.contributor.none.fl_str_mv Casanovas Ruiz-Fornells, Enrique
Casanovas Ruiz-Fornells, Enrique
Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
dc.subject.none.fl_str_mv 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
topic 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
description 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.
publishDate 2015
dc.date.none.fl_str_mv 2015
2016
2016
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10803/394029
url http://hdl.handle.net/10803/394029
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 124 p.
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universitat de Barcelona
publisher.none.fl_str_mv Universitat de Barcelona
dc.source.none.fl_str_mv TDX (Tesis Doctorals en Xarxa)
reponame:TDR. Tesis Doctorales en Red
instname:CBUC, CESCA
instname_str CBUC, CESCA
reponame_str TDR. Tesis Doctorales en Red
collection TDR. Tesis Doctorales en Red
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869420242774523904
score 15.300719

Similares en LA Referencia