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.**** **