Amalgamation properties and finite models in L n -theories

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

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

Categories

Keywords

Reprint years

DOI

10.1007/s001530100106

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

External links

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

Through your library

My notes

Similar books and articles

Products of Classes of Finite Structures.Vince Guingona, Miriam Parnes & Lynn Scow - 2023 - Notre Dame Journal of Formal Logic 64 (4):441-469.
Stability and General Logics.Tapani Hyttinen - 1999 - Mathematical Logic Quarterly 45 (2):219-240.
Super/rosy L k -theories and classes of finite structures.Cameron Donnay Hill - 2013 - Annals of Pure and Applied Logic 164 (10):907-927.
A strong failure of ℵ0\aleph _0 ℵ 0 -stability for atomic classes.Michael C. Laskowski & Saharon Shelah - 2019 - Archive for Mathematical Logic 58 (1-2):99-118.
The theories of Baldwin–Shi hypergraphs and their atomic models.Danul K. Gunatilleka - 2021 - Archive for Mathematical Logic 60 (7):879-908.
The amalgamation spectrum.John T. Baldwin, Alexei Kolesnikov & Saharon Shelah - 2009 - Journal of Symbolic Logic 74 (3):914-928.
n-Simple theories.Alexei S. Kolesnikov - 2005 - Annals of Pure and Applied Logic 131 (1-3):227-261.
Kurepa trees and spectra of $${mathcal {L}}{omega 1,omega }$$ L ω 1, ω -sentences.Dima Sinapova & Ioannis Souldatos - 2020 - Archive for Mathematical Logic 59 (7-8):939-956.
Forking in Finite Models.Tapani Hyttinen - 2015 - Notre Dame Journal of Formal Logic 56 (2):307-320.
A note on countable models of 1-based theories.Predrag Tanovic - 2002 - Archive for Mathematical Logic 41 (7):669-671.

Analytics

Added to PP
2013-11-23

Downloads
35 (#720,799)

6 months
6 (#724,158)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Some aspects of model theory and finite structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.
Super/rosy L k -theories and classes of finite structures.Cameron Donnay Hill - 2013 - Annals of Pure and Applied Logic 164 (10):907-927.
Finite and Infinite Model Theory-A Historical Perspective.John Baldwin - 2000 - Logic Journal of the IGPL 8 (5):605-628.

Add more citations

References found in this work

No references found.

Add more references