Ranks and definability in superstable theories |
| |
Authors: | Daniel Lascar |
| |
Institution: | (1) U. E. R. de Mathématiques, C. N. R. S. Université de Paris, 7 Place Jussieu, 75005 Paris, France |
| |
Abstract: | We study the notion of definable type, and use it to define theproduct of types and theheir of a type. Then, in the case of stable and superstable theories, we make a general study of the notion of rank. Finally,
we use these techniques to give a new proof of a theorem of Lachlan on the number of isomorphism types of countable models
of a superstable theory. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|