Work in Algebra, Logic and Algebraic Logic after 2000

Papers before 2000 are available here

· Two-variable logic has weak, but not strong, Beth definability. The Journal of Symbolic Logic, to appear. arXiv Andréka, H. and Németi, I.

· Atoms in infinite dimensional free sequence-set algebras. Algebra Universalis 80:4 (2019). arXiv Khaled, M. and Németi, I.

· Varieties generated by completions. Algebra Universalis 80:30 (2019). arXiv Andréka, H. and Németi, I.

· Nonrepresentable relation algebras from groups. The Review of Symbolic Logic 13,4 (2020), 861-881. arXiv Andréka, H., Givant, S. and Németi, I.

· Term algebras of elementarily equivalent atom structures. Algebra Universalis 79:61 (2018). 9pp. arXiv Andréka, H. and Németi, I.

• How many varieties of cylindric algebras are there. Transactions of AMS 369,12 (2017), 8903-8937. Andréka, H. and Németi, I.
• On a new semantics for first-order predicate logic. Journal of Philosophical Logic 46,3 (2017), 259-267. Andréka, H., van Benthem, J. and Németi, I.
• Tarski’s axiomatic foundations of the calculus of relations. Journal of Symbolic Logic 82,3 (2017), 966-994. Andréka, H., Givant, S.R., Jipsen, P. and Németi, I.
• Ultraproducts of continuous posets. Algebra Universalis 76,2 (2016), 231-235. Andréka, H., Gyenis, Z. and Németi, I. full paper
• Free algebras of discriminator varieties generated by finite algebras are atomic. 2016. arXiv: 1602.07583. Andréka, H. and Németi, I.
• Finite-variable logics do not have weak Beth definability property. In: The road to universal logic (Festschrift for the 50th birthday of Jean-Yves Beziau Vol II). Editors: A. Koslow and A. Buchsbaum, Studies in Universal Logic, Birkhouser Basel, 2015, pp.125-133. Andréka, H. and Németi, I.
• Changing a semantics: opportunism or courage? In: The life and work of Leon Henkin. Essays on his contributions. Editors: M. Manzano, I. Sain and E. Alonso, Studies in Universal Logic, Springer, 2014, pp.307-337. Andréka, H., van Benthem, J. F. A. K., Bezhanishvili, N. and Németi, I.
• Comparing theories: the dynamics of changing vocabulary. In: Johan V. A. K. van Benthem on logical and informational dynamics. Editors: A. Baltag and S. Smets., Springer Series Outstanding contributions to logic Vol 5, Springer Verlag, 2014. pp.143-172. Andréka, H. and Németi, I.
• Cylindric-like algebras and algebraic logic. Bolyai Society Mathematical Studies 22, Springer Verlag, Berlin, 2012. Ed: Andréka, H. Ferenczi, M. and Németi, I.
• Reducing first-order logic to Df_3, free algebras. In: Cylindric-like algebras and algebraic logic, Springer Verlag, 2012, pp.15-35. Andréka, H. and Németi, I.
• Finitely axiomatizable cylindric-Gödel-Bernays set theory. (In Hungarian) In: Nehogy érvgyűlölők legyünk. Tanulmánykötet Máté András 60. születésnapjára. Szerk: Zvolenszky, Zs., Molnár, A., Mekis, P., Markovich, R., Jellinek, S., Gömöri, M., Bitai, T. L'Harmattan Kiadó, Budapest, 2013. 184-192. Andréka, H. Németi, I.
• A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct. Studia Sci. Math. Hungar. 50,1 (2013), 1-16. Andréka, H., Németi, I., and Sayed Ahmed, T.
• The development of symbolic logic in Hungary. In: Logic in Central and Eastern Europe: History, Science and Discourse, ed. A. Schumann. University Press of America, 2012. pp.201-216. Máté, A., Andréka, H., Németi, I.
• Residuated Kleene Algebras. In: R. I. Constable and A. Silva (eds.), Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday. LNCS 7230, pp.1-11, Springer-Verlag, Berlin, 2012. Andreka, H. Mikulas, Sz. and Nemeti, I.
• Decidability, undecidability, and Gödel incompleteness in relativity theory. Parallel Processing Letters 22,3 (2012), 1240011 Preprint version Andréka, H. Madarász, J. X. and Németi, I.
• The equational theory of Kleene lattices. Theoretical Computer Science 412(2011) 7099-7108. Andréka, H., Mikulás, Sz. and Németi, I.
• 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.
• 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.
• 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.

---