Metrically Universal Generic Structures in Free Amalgamation Classes

Mathematical Logic Quarterly 47 (2):147-160 (2001)
  Copy   BIBTEX

Abstract

We prove that each ∀1 free amalgamation class K over a finite relational language L admits a countable generic structure M isometrically embedding all countable structuresin K relative to a fixed metric. We expand L by infinitely many binary predicates expressingdistance, and prove that the resulting expansion of K has a model companion axiomatizedby the first-order theory of M. The model companion is non-finitely axiomatizable, evenover a strong form of the axiom scheme of infinity

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

Universal Structures in Power $aleph_1$.Alan H. Mekler - 1990 - Journal of Symbolic Logic 55 (2):466-477.
Examples of non-locality.John T. Baldwin & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (3):765-782.
Stability and General Logics.Tapani Hyttinen - 1999 - Mathematical Logic Quarterly 45 (2):219-240.
On superstable generic structures.Koichiro Ikeda & Hirotaka Kikyo - 2012 - Archive for Mathematical Logic 51 (5-6):591-600.
CM-triviality and generic structures.Ikuo Yoneda - 2003 - Archive for Mathematical Logic 42 (5):423-433.
Small universal families for graphs omitting cliques without GCH.Katherine Thompson - 2010 - Archive for Mathematical Logic 49 (7-8):799-811.

Analytics

Added to PP
2013-12-01

Downloads
7 (#1,201,537)

6 months
1 (#1,042,085)

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

No references found.

Add more references