publication venue for Definable principal congruences and solvability 2009 The spectrum of maximal independent subsets of a Boolean algebra 2004 A geometric consequence of residual smallness 1999 REPRESENTABLE CYLINDRIC ALGEBRAS 1986