Formalizing Set Theory in Weak Fragments of Algebraic Logic
This page contains some work, recent results and open problems in the subject mentioned in the title, related to my DSc dissertation and the Tarski-Givant book.
Formalizing set theory in weak fragments
of algebraic logic, short note. (Updated in 2011.)
Logic with three variables has Gödel's incompleteness property - thus free cylindric algebras are not atomic. Preprint 1985.
Free algebras and decidability in algebraic logic. Dissertation with Academy 1986. In Hungarian,
Summary
in English of Dissertation 1986.