Cargando…
Categoricity
Modern model theory began with Morley's categoricity theorem: A countable first-order theory that has a unique (up to isomorphism) model in one uncountable cardinal (i.e., is categorical in cardinality) if and only if the same holds in all uncountable cardinals. Over the last 35 years Shelah ma...
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
American Mathematical Society
2009
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2623052 |