An axiomatic approach to free amalgamation
Journal of Symbolic Logic 82 (2):648-671 (2017)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Examples of non-locality.John T. Baldwin & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (3):765-782.
Metrically Universal Generic Structures in Free Amalgamation Classes.Anthony Bonato - 2001 - Mathematical Logic Quarterly 47 (2):147-160.
Generalized amalgamation and n -simplicity.Byunghan Kim, Alexei S. Kolesnikov & Akito Tsuboi - 2008 - Annals of Pure and Applied Logic 155 (2):97-114.
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
The amalgamation property for some classes of BCK-algebras.Katarzyna Palasinska - 1985 - Bulletin of the Section of Logic 14 (3):109-112.
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.Judit Madarász & Tarek Ahmed - 2009 - Logic Journal of the IGPL 17 (6):755-802.
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts.Judit Madarász & Tarek Ahmed - 2009 - Logic Journal of the IGPL 17 (4):429-483.
Some Results on Amalgamation in Algebraic Logic.Tarek Ahmed - 2006 - Logic Journal of the IGPL 14 (4):623-627.
An Axiomatic Approach to Aristotle’s Ethics.Michael Winter - 2001 - Proceedings of the American Catholic Philosophical Association 75:211-220.
Craig interpolation for semilinear substructural logics.Enrico Marchioni & George Metcalfe - 2012 - Mathematical Logic Quarterly 58 (6):468-481.
Logical matrices and the amalgamation property.Janusz Czelakowski - 1982 - Studia Logica 41 (4):329 - 341.
Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Analytics
Added to PP
2017-06-20
Downloads
12 (#806,054)
6 months
1 (#451,971)
2017-06-20
Downloads
12 (#806,054)
6 months
1 (#451,971)
Historical graph of downloads
Citations of this work
Model theory of Steiner triple systems.Silvia Barbina & Enrique Casanovas - 2019 - Journal of Mathematical Logic 20 (2):2050010.
Remarks on generic stability in independent theories.Gabriel Conant & Kyle Gannon - 2020 - Annals of Pure and Applied Logic 171 (2):102736.
Binary simple homogeneous structures.Vera Koponen - 2018 - Annals of Pure and Applied Logic 169 (12):1335-1368.
Binary primitive homogeneous simple structures.Vera Koponen - 2017 - Journal of Symbolic Logic 82 (1):183-207.
References found in this work
A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
Toward classifying unstable theories.Saharon Shelah - 1996 - Annals of Pure and Applied Logic 80 (3):229-255.
Notions around tree property 1.Byunghan Kim & Hyeung-Joon Kim - 2011 - Annals of Pure and Applied Logic 162 (9):698-709.
ℵ0-categorical structures with a predimension.David M. Evans - 2002 - Annals of Pure and Applied Logic 116 (1-3):157-186.
