Monadic Algebras with finite degree |
| |
Authors: | Stephen D Comer |
| |
Institution: | 1. Clemson University, Clemson, South Carolina, USA 2. The Citadel, Charleston, South Carolina, USA
|
| |
Abstract: | A monadic algebraA has finite degreen ifA/M has at most 2 n elements for every maximal idealM ofA and this bound is obtained for someM. Every countable monadic algebra with a finite degree is isomorphic to an algebra Γ(X, S) whereX is a Boolean space andS is a subsheaf of a constant sheaf with a finite simple stalk. This representation is used to prove that every proper equational class of monadic algebras has a decidable first-order theory. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|