Showing math.LOShow all
3 papers · 1 filter
math.LO2025
Permutations, substitutions and finite axiomatizability
Hajnal Andréka, Zalán Gyenis, István Németi
Algebras of relations form an algebraic framework for the study of logical systems, extending the correspondence between Boolean algebras and propositional logic. Tarski's represen…
math.LO2025
Substitutions of variables are finitely axiomatizable over quantifications and permutations
Hajnal Andréka, Zalán Gyenis, István Németi
This paper proves that the equational theory of the class of representable polyadic algebras is finitely axiomatizable over its substitution-free reduct , f…
math.LO2023
A note on the submodel preservation property in fragments of first-order logic
H. Andréka, J. van Benthem, I. Németi
This note contains some material promised in our earlier papers on submodel preservation and the guarded fragment, along with some information on the current status of the problems…