Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω
Johnson, Gregory M.
Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, p. 361-371 / Harvested from Project Euclid
In this paper we study abstract elementary classes with Löwenheim-Skolem number $\kappa$ , where $\kappa$ is cofinal with $\omega$ , which have finite character. We generalize results obtained by Kueker for $\kappa=\omega$ . In particular, we show that $\mathbb{K}$ is closed under $L_{\infty,\kappa}$ -elementary equivalence and obtain sufficient conditions for $\mathbb{K}$ to be $L_{\infty,\kappa}$ -axiomatizable. In addition, we provide an example to illustrate that if $\kappa$ is uncountable regular then $\mathbb{K}$ is not closed under $L_{\infty,\kappa}$ -elementary equivalence.
Publié le : 2010-07-15
Classification:  abstract elementary class,  finite character,  infinitary logic,  03C48,  03C75
@article{1282137988,
     author = {Johnson, Gregory M.},
     title = {Abstract Elementary Classes with L\"owenheim-Skolem Number Cofinal with
				$\omega$},
     journal = {Notre Dame J. Formal Logic},
     volume = {51},
     number = {1},
     year = {2010},
     pages = { 361-371},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1282137988}
}
Johnson, Gregory M. Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with
				ω. Notre Dame J. Formal Logic, Tome 51 (2010) no. 1, pp.  361-371. http://gdmltest.u-ga.fr/item/1282137988/