Decidability and Boolean representations

About Decidability and Boolean representations

In part I we address the question: which varieties have a decidable first order theory? We confine our attention to varieties whose algebras have modular congruence lattices (i.e., modular varieties), and focus primarily on locally finite varieties, although near the end of the paper Zamjatin's description of all decidable varieties of groups and rings, and offer a new proof of it. In part II, we show that if a variety admits such sheaf representations using only finitely many stalks, all of which are finite, then the variety can be decomposed in the product of a discriminator variety and an abelian variety. We continue this investigation by looking at well-known specializations of the sheaf construction, namely Boolean powers and sub-Boolean powers, giving special emphasis to quasi-primal algebras A, such that the sub-Boolean powers of A form a variety (this extends the work of Arens…

How CheapestTextbooks.com compares prices

When you open this page we ask eCampus, Knetbooks, BiggerBooks and VitalSource for their current prices on ISBN 9780821822463 and sort every offer by its total with shipping. Rental rows show the term (semester, quarter or short term) and that term goes with you to the store's cart, and eBook rows link straight to the 180-day or no-expiry option you picked. Prices are rechecked at least every 30 minutes, so confirm the total at checkout.

Browse all textbook subjects