Skip Navigation


Logic Journal of IGPL Advance Access originally published online on July 8, 2009
Logic Journal of IGPL 2009 17(6):755-802; doi:10.1093/jigpal/jzp013
This Article
Right arrow Full Text (PDF)
Right arrow All Versions of this Article:
17/6/755    most recent
jzp013v1
Right arrow References
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Madarász, J.
Right arrow Articles by Ahmed, T. S.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation

Judit Madarász and Tarek Sayed Ahmed

Mathematical Institute of the Hungarian Academy of Science, Department of Mathematics, Faculty of Science, Cairo University, Giza, Egypt.
E-mail: rutahmed{at}gmail.com


  Abstract

Introduced by Leon Henkin back in the fifties, the notion of neat reducts is an old venerable notion in algebraic logic. But it is often the case that an unexpected viewpoint yields new insights. Indeed, the repercussions of the (seemingly very innocent) fact that the class of neat reducts is not closed under forming subalgebras turn out to be enormous. In this paper we review and, in the process, discuss, some of these repercussions in connection with the algebraic notion of amalgamation. Some new unpublished results (answering long-standing open problems in the field) concerning neat reducts and amalgamation are given. (Theorems 11, 13, 19 and 31-38 are such). Several counterexamples which convey the gist of techniques used in this area are presented two of which are new (Theorem 19, Theorem 38.) It is known that the algebraic notion of amalgamation in a class of algebras corresponds to the metalogical notion of interpolation in the corresponding logic. Answers to open question in the recent paper [31] concerning both amalgamation and interpolation are summarized in tabular form at the end of this paper.

This paper appears in two parts. The first part contains results on neat reducts. The present second part contains results relating the notion of neat embeddings to various amalgamation properties.1

Key Words: algebraic logic • amalgamation • cylindric algebras • quasipolyadic algebras • substitution algebras • neat reducts • neat embeddings

Received for publication 14 September 2007.

1 Mathematics Subject Classification: 03G15, 03C10.

Research was supported by the Hungarian National Foundation for Scientific Reserach OKTA grant no T30314. Research also supported by Bolyai Grant for Judit X. Madarasz.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer: Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.