Decidability and Boolean Representations
Stanley Burris · Ralph McKenzie
1981. jan. · American Mathematical Society: Memoirs of the American Mathematical Society 246. kötet · American Mathematical Soc.
E-könyv
106
Oldalak száma
reportAz értékelések és vélemények nincsenek ellenőrizve További információ
Információk az e-könyvről
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 and Kaplansky on finite fields).
E-könyv értékelése
Mondd el a véleményedet.
Olvasási információk
Okostelefonok és táblagépek
Telepítsd a Google Play Könyvek alkalmazást Android- vagy iPad/iPhone eszközre. Az alkalmazás automatikusan szinkronizálódik a fiókoddal, így bárhol olvashatsz online és offline állapotban is.
Laptopok és számítógépek
A Google Playen vásárolt hangoskönyveidet a számítógép böngészőjében is meghallgathatod.
E-olvasók és más eszközök
E-tinta alapú eszközökön (például Kobo e-könyv-olvasón) való olvasáshoz le kell tölteni egy fájlt, és átvinni azt a készülékre. A Súgó részletes utasításait követve lehet átvinni a fájlokat a támogatott e-könyv-olvasókra.
