Amalgamation properties and finite models in L n -theories

Archive for Mathematical Logic 41 (2):155-167 (2002)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 78,059

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The amalgamation spectrum.John T. Baldwin, Alexei Kolesnikov & Saharon Shelah - 2009 - Journal of Symbolic Logic 74 (3):914-928.
On atomic or saturated sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
External automorphisms of ultraproducts of finite models.Philipp Lücke & Saharon Shelah - 2012 - Archive for Mathematical Logic 51 (3-4):433-441.
Inconsistent models of arithmetic part I: Finite models. [REVIEW]Graham Priest - 1997 - Journal of Philosophical Logic 26 (2):223-235.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Examples of non-locality.John T. Baldwin & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (3):765-782.
A first-order axiomatization of the theory of finite trees.Rolf Backofen, James Rogers & K. Vijay-Shanker - 1995 - Journal of Logic, Language and Information 4 (1):5-39.


Added to PP

14 (#741,295)

6 months
1 (#486,551)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references