Formalizing Set Theory in Weak Fragments of Algebraic Logic

This page contains some work 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.

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, English summary below.

Summary in English of Dissertation 1986.

Errata for Preprint 1985.