Small models
Weaver, George
Mod. Log., Tome 2 (1992) no. 3, p. 351-364 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
This paper surveys some problems in the model theory of uncountable first order languages. These problems were first raised in Mal'cev. Their solutions involve the construction of infinite models which are "small" relative to the cardinality of their language. The most important of these problems concern extending the Upward Löwenheim- Skolem Theorem for uncountable languages. The earliest results relevant to this problem used the ultraproduct construction to obtain "small" elementary extensions. Stronger results have been obtained more recently by other methods. These are used to construct "small" elementary subsystems.
Publié le : 1992-07-15
Classification:  03-03,  01A65,  03C07,  03C55 
@article{1204834898,
     author = {Weaver, George},
     title = {Small models},
     journal = {Mod. Log.},
     volume = {2},
     number = {3},
     year = {1992},
     pages = { 351-364},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204834898}
}

Weaver, George. Small models. Mod. Log., Tome 2 (1992) no. 3, pp.  351-364. http://gdmltest.u-ga.fr/item/1204834898/