[FOM] Stephen Comer references

Dana Scott dana.scott at cs.cmu.edu
Sun Nov 16 16:48:38 EST 2014

From: Harry Deutsch <hdeutsch at ilstu.edu> wrote:

> Years ago, I asked Dan Gallin a question concerning which relations were 
> definable in terms of boolean combinations of monadic formulas.  I had 
> Leibniz in mind.  The algebraist Steve Comer answered the question in 
> print model theoretically.  Sorry, I don't have the reference.

I used Google Scholar and found these:

Comer, Stephen D. "Boolean combinations of monadic formulas." Algebra Universalis, vol. 15(1982), pp. 299-305.

Comer, Stephen D. "Monadic algebras with finite degree." Algebra Universalis, vol. 5(1975), pp. 313-327.

Comer, Stephen D. "Galois theory for cylindric algebras and its applications." Transactions of the American Mathematical Society, vol. 286(1984), pp. 771-785.

Hope this helps,

	-- Dana Scott

More information about the FOM mailing list