Model theory for universal classes with the amalgamation property: A study in the foundations of model theory and algebra

Annals of Mathematical Logic 11 (3):263 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(77)90001-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

Universal structures in power ℵ1.Alan H. Mekler - 1990 - Journal of Symbolic Logic 55 (2):466-477.
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.Tommaso Cortonesi, Enrico Marchioni & Franco Montagna - 2011 - Notre Dame Journal of Formal Logic 52 (4):339-379.
Universal Structures in Power $aleph_1$.Alan H. Mekler - 1990 - Journal of Symbolic Logic 55 (2):466-477.
Stability and General Logics.Tapani Hyttinen - 1999 - Mathematical Logic Quarterly 45 (2):219-240.
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
The amalgamation property for some classes of BCK-algebras.Katarzyna Palasinska - 1985 - Bulletin of the Section of Logic 14 (3):109-112.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Metrically Universal Generic Structures in Free Amalgamation Classes.Anthony Bonato - 2001 - Mathematical Logic Quarterly 47 (2):147-160.
Amalgamation property for the class of basic algebras and some of its natural subclasses.Majid Alizadeh & Mohammad Ardeshir - 2006 - Archive for Mathematical Logic 45 (8):913-930.
Les beaux automorphismes.Daniel Lascar - 1991 - Archive for Mathematical Logic 31 (1):55-68.
Model Companions of Theories with an Automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Fondements de la logique positive.Ben Yaacov Itaï & Poizat Bruno - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
Fondements de la logique positive.Itaï Yaacov & Bruno Poizat - 2007 - Journal of Symbolic Logic 72 (4):1141-1162.
Model companions for finitely generated universal horn classes.Stanley Burris - 1984 - Journal of Symbolic Logic 49 (1):68-74.
Canonical Finite Diagrams and Quantifier Elimination.Tapani Hyttinen - 2002 - Mathematical Logic Quarterly 48 (4):533-554.

Analytics

Added to PP
2014-01-17

Downloads
13 (#1,031,809)

6 months
2 (#1,186,462)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algebraically prime models.J. T. Baldwin - 1981 - Annals of Mathematical Logic 20 (3):289.

Add more citations

References found in this work

On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
Ultraproducts and Elementary Classes.H. Jerome Keisler - 1962 - Journal of Symbolic Logic 27 (3):357-358.
Omitting quantifier-free types in generic structures.Angus Macintyre - 1972 - Journal of Symbolic Logic 37 (3):512-520.
Finite diagrams stable in power.Saharon Shelah - 1970 - Annals of Mathematical Logic 2 (1):69-118.
Existentially closed structures.H. Simmons - 1972 - Journal of Symbolic Logic 37 (2):293-310.

View all 9 references / Add more references