Model completeness of generic graphs in rational cases

Archive for Mathematical Logic 57 (7-8):769-794 (2018)
  Copy   BIBTEX

Abstract

Let \ be an ab initio amalgamation class with an unbounded increasing concave function f. We show that if the predimension function has a rational coefficient and f satisfies a certain assumption then the generic structure of \ has a model complete theory.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-017-0601-4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

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

On superstable generic structures.Koichiro Ikeda & Hirotaka Kikyo - 2012 - Archive for Mathematical Logic 51 (5):591-600.
Ab initio generic structures which are superstable but not ω-stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1):203-211.
Random structures and automorphisms with a single orbit.Hirotaka Kikyo & Akito Tsuboi - forthcoming - Archive for Mathematical Logic:1-11.
Hilbert spaces with generic groups of automorphisms.Alexander Berenstein - 2007 - Archive for Mathematical Logic 46 (3-4):289-299.
Model completeness for trivial, uncountably categorical theories of Morley rank 1.Alfred Dolich, Michael C. Laskowski & Alexander Raichev - 2006 - Archive for Mathematical Logic 45 (8):931-945.
The additive structure of integers with the lower Wythoff sequence.Mohsen Khani & Afshin Zarei - 2023 - Archive for Mathematical Logic 62 (1):225-237.
The f-factor Problem for Graphs and the Hereditary Property.Frank Niedermeyer, Saharon Shelah & Karsten Steffens - 2006 - Archive for Mathematical Logic 45 (6):665-672.
The elementary diagram of a trivial, weakly minimal structure is near model complete.Michael C. Laskowski - 2009 - Archive for Mathematical Logic 48 (1):15-24.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
CM-triviality and generic structures.Ikuo Yoneda - 2003 - Archive for Mathematical Logic 42 (5):423-433.

Analytics

Added to PP
2017-12-14

Downloads
21 (#1,008,197)

6 months
6 (#866,322)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
Model completeness of the new strongly minimal sets.Kitty Holland - 1999 - Journal of Symbolic Logic 64 (3):946-962.
Constructing ω-stable structures: model completeness.John T. Baldwin & Kitty Holland - 2004 - Annals of Pure and Applied Logic 125 (1-3):159-172.
Simple Theories.Frank O. Wagner - 2002 - Bulletin of Symbolic Logic 8 (4):522-524.

Add more references