# Search Results

## You are looking at 1 - 3 of 3 items for :

Clear All  # A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct

Studia Scientiarum Mathematicarum Hungarica
Authors: Hajnal Andréka, István Németi and Tarek Ahmed

We construct an infinite dimensional quasi-polyadic equality algebra \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $\mathfrak{A}$ \end{document} such that its cylindric reduct is representable, while \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $\mathfrak{A}$ \end{document} itself is not representable.

Restricted access

# Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them

Studia Scientiarum Mathematicarum Hungarica
Author: Tarek Sayed Ahmed

Ahmed , T. , On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras , Mathematical Logic Quarterly, , 4 ( 2011 ), p. 384 – 394 . [32

Restricted access

# On the multi-dimensional modal logic of substitutions

Studia Scientiarum Mathematicarum Hungarica
Authors: Tarek Sayed Ahmed and Mohammad Assem Mahmoud

ndréka , H. , N émeti , I. and A hmed , T. S. , A nonrepresentable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct , Studia Scientiarum Mathematicarum Hungarica , 50 ( 1 ) ( 2013 ), pp. 116

Restricted access  