Existentially Closed Closure Algebras

Abstract

The study of existentially closed closure algebras begins with Lipparini’s 1982 paper. After presenting new nonelementary axioms for algebraically closed and existentially closed closure algebras and showing that these nonelementary classes are different, this paper shows that the classes of finitely generic and infinitely generic closure algebras are closed under finite products and bounded Boolean powers, extends part of Hausdorff’s theory of reducible sets to existentially closed closure algebras, and shows that finitely generic and infinitely generic closure algebras are elementarily inequivalent. Special properties of algebraically closed (a.c.), existentially closed (e.c.), finitely generic (f.g.), and infinitely generic (i.g.) closure algebras are established along the way.