Showing math.LOShow all
2 papers · 1 filter
math.LO2020
Two-variable logic has weak, but not strong, Beth definability
H. Andréka, I. Németi
We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and t…
math.LO2019
Atoms in infinite dimensional free sequence-set algebras
Mohamed Khaled, István Németi
A. Tarski proved that the m-generated free algebra of , the class of cylindric algebras of dimension , contains exactly zero-dimensional atoms, when $m\ge 1…