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.