[FOM] Stephen Comer references
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