Decidability and Boolean Representations
Stanley Burris · Ralph McKenzie
Jan 1981 · American Mathematical Society: Memoirs of the American Mathematical Society Buku 246 · American Mathematical Soc.
e-Buku
106
Halaman
reportRating dan ulasan tidak disahkan Ketahui Lebih Lanjut
Perihal e-buku ini
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).
Berikan rating untuk e-Buku ini
Beritahu kami pendapat anda.
Maklumat pembacaan
Telefon pintar dan tablet
Pasang apl Google Play Books untuk Android dan iPad/iPhone. Apl ini menyegerak secara automatik dengan akaun anda dan membenarkan anda membaca di dalam atau luar talian, walau di mana jua anda berada.
Komputer riba dan komputer
Anda boleh mendengar buku audio yang dibeli di Google Play menggunakan penyemak imbas web komputer anda.
eReader dan peranti lain
Untuk membaca pada peranti e-dakwat seperti Kobo eReaders, anda perlu memuat turun fail dan memindahkan fail itu ke peranti anda. Sila ikut arahan Pusat Bantuan yang terperinci untuk memindahkan fail ke e-Pembaca yang disokong.
