scholarly journals A presentation theorem for continuous logic and metric abstract elementary classes

Author(s):  
Will Boney
2006 ◽  
Vol 143 (1-3) ◽  
pp. 103-138 ◽  
Author(s):  
T. Hyttinen ◽  
M. Kesälä

2006 ◽  
Vol 71 (2) ◽  
pp. 553-568 ◽  
Author(s):  
Rami Grossberg ◽  
Monica Vandieren

AbstractWe prove a categoricity transfer theorem for tame abstract elementary classes.Suppose that K is a χ-tame abstract elementary class and satisfies the amalgamation and joint embedding properties and has arbitrarily large models. Let λ ≥ Max{χ, LS(K+}. If K is categorical in λ and λ+, then K is categorical in λ++.Combining this theorem with some results from [37]. we derive a form of Shelah's Categoricity Conjecture for tame abstract elementary classes:Suppose K is χ-tame abstract elementary class satisfying the amalgamation and joint embedding properties. Let μ0 ≔ Hanf(K). Ifand K is categorical in somethen K is categorical in μ for all μ .


2012 ◽  
Vol 217 (2) ◽  
pp. 123-170 ◽  
Author(s):  
Åsa Hirvonen ◽  
Tapani Hyttinen

Sign in / Sign up

Export Citation Format

Share Document