Skip Navigation


Logic Journal of IGPL Advance Access originally published online on April 29, 2009
Logic Journal of IGPL 2009 17(3):267-272; doi:10.1093/jigpal/jzp007
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
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 Khaled, M.
Right arrow Articles by Sayed-Ahmed, T.
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

On complete representations of algebras of logic

Mohamed Khaled and Tarek Sayed-Ahmed

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

We show that there exists an atomic polyadic equality algebra of dimension n that is elementary equivalent to a completely representable algebra, but its diagonal free reduct (obtained by deleting diagonals and substitutions) is not completely representable.

Received for publication 15 October 2008.

References

    [1]  Andréka H, Németi I, Sayed Ahmed T. Omitting types for finite variable fragments and complete representations of algebras. Journal of Symbolic Logic (2008) 73(1):65–89.[CrossRef][Web of Science]

    [2]  Chang C, Keisler J. Model Theory (1994) North Holland.

    [3]  Henkin L, Monk JD, Tarski A. Cylindric Algebras Part I (1971) North Holland.

    [4]  Henkin L, Monk JD, Tarski A. Cylindric Algebras Part II (1985) North Holland.

    [5]  Hirsch R, Hodkinson I. Complete representations in algebraic logic, Journal of Symbolic Logic (1997) 62(3):816–884.[CrossRef][Web of Science]


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



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
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 Khaled, M.
Right arrow Articles by Sayed-Ahmed, T.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?