Epimorphisms are not surjective, even in simple algebras
Using techniques developed by Comer on sheaf-theoretic duality for cylindric algebras, we refine a result of Judit Madarasz by showing that epimorphisms are not surjective even in the class of simple infinite dimensional cylindric algebras.
Amalgamation, interpolation and epimorphisms in algebraic logic
Abstract.In his landmark paper on amalgamation published in Algebra Universalis in 1971, Don Pigozzi posed some open questions in connection with amalgamation of subclasses of cylindric algebras. Some of these questions were originally raised by Comer, Daigneault, Johnson, McKenzie and others. In this paper we give answers to all these as well as a number of other related questions. Most of the solutions were found by the authors of this paper. However, a few were contributed by others who will of course be given due credit at the appropriate points.
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic
We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n ≤ w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin's axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey's omitting types theorem fails for Ln, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. Ln has been recently (and quite extensively) studied as a many-dimensional modal logic.