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

ver descrição completa

Detalhes bibliográficos
Autor: Potier, Joris
Tipo de documento: tese
Estado:Versão publicada
Data de publicação:2015
País:España
Recursos:Universidad de Barcelona
Repositório:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/102249
Acesso em linha:https://hdl.handle.net/2445/102249
http://hdl.handle.net/10803/394029
Access Level:Acceso aberto
Palavra-chave:Lògica
Topologia
Categories (Matemàtica)
Teoria de models
Teoria de conjunts
Logic
Topology
Categories (Mathematics)
Model theory
Set theory
id ES_b278cfde5e2b2e5d2b23a447b645aebf
oai_identifier_str oai:diposit.ub.edu:2445/102249
network_acronym_str ES
network_name_str España
repository_id_str
spelling A few things about hyperimaginaries and stable forkingPotier, JorisLògicaTopologiaCategories (Matemàtica)Teoria de modelsTeoria de conjuntsLogicTopologyCategories (Mathematics)Model theorySet theory[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.[spa] 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, EnriqueUniversitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència2015info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://hdl.handle.net/2445/102249http://hdl.handle.net/10803/394029Tesis Doctorals - Departament - Lògica, Història i Filosofia de la Ciènciareponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaIngléscc-by-sa, (c) Potier,, 2015http://creativecommons.org/licenses/by-sa/3.0/info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/1022492026-05-27T06:46:51Z
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
Topologia
Categories (Matemàtica)
Teoria de models
Teoria de conjunts
Logic
Topology
Categories (Mathematics)
Model theory
Set theory
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
Universitat de Barcelona. Departament de Lògica, Història i Filosofia de la Ciència
dc.subject.none.fl_str_mv Lògica
Topologia
Categories (Matemàtica)
Teoria de models
Teoria de conjunts
Logic
Topology
Categories (Mathematics)
Model theory
Set theory
topic Lògica
Topologia
Categories (Matemàtica)
Teoria de models
Teoria de conjunts
Logic
Topology
Categories (Mathematics)
Model theory
Set theory
description [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.
publishDate 2015
dc.date.none.fl_str_mv 2015
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 https://hdl.handle.net/2445/102249
http://hdl.handle.net/10803/394029
url https://hdl.handle.net/2445/102249
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 cc-by-sa, (c) Potier,, 2015
http://creativecommons.org/licenses/by-sa/3.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv cc-by-sa, (c) Potier,, 2015
http://creativecommons.org/licenses/by-sa/3.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 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 Tesis Doctorals - Departament - Lògica, Història i Filosofia de la Ciència
reponame:Dipòsit Digital de la UB
instname:Universidad de Barcelona
instname_str Universidad de Barcelona
reponame_str Dipòsit Digital de la UB
collection Dipòsit Digital de la UB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869417057431322624
score 15.300719

Registros relacionados