Simplicity theory /
This title is about simple first-order theories. In the mid-1990s the author established in his thesis the symmetry and transitivity of non-forking for simple theories and, type-amalgamation for Lascar strong types. Since then a great deal of research work on simplicity theory, the study of simple t...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Kim, Byunghan |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Oxford :
Oxford University Press,
2014.
|
Edición: | First edition. |
Colección: | Oxford logic guides ;
53. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
The Birth of Model Theory : Löwenheim's Theorem in the Frame of the Theory of Relatives
por: Badesa, Calixto
Publicado: (2008) -
Realizability : an Introduction to its Categorical Side.
por: Van Oosten, Jaap
Publicado: (2008) -
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives /
por: Badesa, Calixto
Publicado: (2004) -
Institution-independent model theory /
por: Diaconescu, Răzvan
Publicado: (2008) -
Lectures on infinitary model theory /
por: Marker, D. (David), 1958-
Publicado: (2016)