Categoricity of theories in $L_{\kappa *,\omega }$, when κ* is a measurable cardinal. Part 2

Saharon Shelah. "Categoricity of theories in $L_{κ*,ω}$, when κ* is a measurable cardinal. Part 2." Fundamenta Mathematicae 170.1-2 (2001): 165-196. <http://eudml.org/doc/282574>.

@article{SaharonShelah2001,
abstract = {We continue the work of [2] and prove that for λ successor, a λ-categorical theory T in $L_\{κ*,ω\}$ is μ-categorical for every μ ≤ λ which is above the $(2^\{LS(T)\})⁺$-beth cardinal.},
author = {Saharon Shelah},
journal = {Fundamenta Mathematicae},
keywords = {infinitary logics; classification theory; categoricity; Łoś theorem; measurable cardinal; limit ultrapower; infinitary language with measurable ; forking; nonisomorphic models},
language = {eng},
number = {1-2},
pages = {165-196},
title = {Categoricity of theories in $L_\{κ*,ω\}$, when κ* is a measurable cardinal. Part 2},
url = {http://eudml.org/doc/282574},
volume = {170},
year = {2001},
}

TY - JOUR
AU - Saharon Shelah
TI - Categoricity of theories in $L_{κ*,ω}$, when κ* is a measurable cardinal. Part 2
JO - Fundamenta Mathematicae
PY - 2001
VL - 170
IS - 1-2
SP - 165
EP - 196
AB - We continue the work of [2] and prove that for λ successor, a λ-categorical theory T in $L_{κ*,ω}$ is μ-categorical for every μ ≤ λ which is above the $(2^{LS(T)})⁺$-beth cardinal.
LA - eng
KW - infinitary logics; classification theory; categoricity; Łoś theorem; measurable cardinal; limit ultrapower; infinitary language with measurable ; forking; nonisomorphic models
UR - http://eudml.org/doc/282574
ER -