Amalgamation properties and finite models in Ln-theories |
| |
| Authors: | John Baldwin Olivier Lessmann |
| |
| Institution: | (1) Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, 851 S. Morgan Street, M/C 249, Chicago, IL 60607-7045, USA. e-mail: jbaldwin@math.uic.edu; lessmann@uic.edu, US |
| |
| Abstract: | Djordjević Dj 1] proved that under natural technical assumptions, if a complete L
n
-theory is stable and has amalgamation over sets, then it has arbitrarily large finite models. We extend his study and prove
the existence of arbitrarily large finite models for classes of models of L
n
-theories (maybe omitting types) under weaker amalgamation properties. In particular our analysis covers the case of vector
spaces.
Received: 24 July 2000 / Published online: 20 December 2001 |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
