Title of article :
Categoricity for abstract classes with amalgamation
Original Research Article
Author/Authors :
Saharon Shelah and Niandong Shi، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1999
Abstract :
Let View the MathML source be an abstract elementary class with amalgamation, and Lowenheim Skolem number LSView the MathML source. We prove that for a suitable Hanf number gc0 if χ0 < λ0 ⩽ λ1, and View the MathML source is categorical inλ1+ then it is categorical in λ0.
Keywords :
Hanf numbers , Abstract elementary classes , Categoricity , Classifying non-first order classes
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
