Recent work in Algebraic Logic
-
Omitting types for finite variable fragments and complete
representations of algebras. Journal of
Symbolic Logic 73,1 (2008),
65-89.
Andréka, H. Németi, I.
and Sayed-Ahmed, T.
- Epimorphisms in cylindric algebras and definability in finite
variable logics.
Algebra Universalis
61,3-4 (2009), 261-282.
Andréka, H. Comer, S. D. Madarász, J. X. Németi, I. and Sayed-Ahmed, T.
-
Weakly higher
order cylindric algebras and finite axiomatization of the representables.
Studia Logica
91,1 (2009), 53-62. Németi, I. and Simon, A.
-
Mutual
definability does not imply definitional equivalence, a simple example. Mathematical Logic Quarterly 51,6 (2005),
591-597. Andréka, H.
Madarász, J. X. and Németi, I.
-
Algebras of relations of various ranks, some current trends and
applications. Journal of Relational Methods in Computer Science 1 (2004), 27-49. Andréka, H. Madarász, J. X. and Németi, I.
-
Relational Algebras. In:
The Concise Handbook of Algebra. Eds.: Mikhalev, A. V. and Pilz, G. F.,
Kluwer Academic Publishers 2002. pp.478-482. Andréka, H., Madarász, J. X. and
Németi, I.
-
Algebraic Logic. In:
Supplement III of Encyclopaedia of Mathematics. Ed: Hazewinkel, M., Kluwer
Academic Publishers 2002, pp.31-34. Andréka, H., Madarász, J. X. and Németi, I.
-
Free algebras with closure
operators and a conjecture of Henkin, Monk, and Tarski.
Studia Sci. Math. Hungar. 38 (2001), 273-278.
Madarász, J. X. and Németi, I.
- On neat reducts of algebras of
logic.
Studia Logica 68,2 (2001), 229-262.
Sayed-Ahmed, T. and Németi, I.
-
Algebraic
Logic. In: Handbook of
Philosophical Logic. Vol 2, second edition. Eds: Gabbay, D. M. and Guenthner,
F., Kluwer Academic Publishers, 2001. pp.133-247. Andréka, H. Németi, I.
and Sain, I.