Borel Cardinality of Lascar Strong Types = Cardinalidad de Borel de los tipos fuertes de Lascar

A Strong type is a class of a bounded equivalence relation (i.e. the quotient is a proper set) on tuples of the monster model of a complete theory T. Today, there are three different notions of strong types: a Shelah’s strong type is a class under the smallest definable equivalence relation on the m...

Descripción completa

Detalles Bibliográficos
Autor Principal: Buitrago Díaz, Esperanza
Formato: Trabajo de grado (Bachelor Thesis)
Lenguaje:Desconocido (Unknown)
Publicado: 2014
Materias:
Acceso en línea:http://babel.banrepcultural.org/cdm/ref/collection/p17054coll23/id/322