Decidability and Boolean Representations

·
· American Mathematical Society: Memoirs of the American Mathematical Society 第 246 冊 · American Mathematical Soc.
電子書
106
頁數
評分和評論未經驗證 瞭解詳情

關於這本電子書

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).

為這本電子書評分

請分享你的寶貴意見。

閱讀資訊

智能手機和平板電腦
請安裝 Android 版iPad/iPhone 版「Google Play 圖書」應用程式。這個應用程式會自動與你的帳戶保持同步,讓你隨時隨地上網或離線閱讀。
手提電腦和電腦
你可以使用電腦的網絡瀏覽器聆聽在 Google Play 上購買的有聲書。
電子書閱讀器及其他裝置
如要在 Kobo 等電子墨水裝置上閱覽書籍,你需要下載檔案並傳輸到你的裝置。請按照說明中心的詳細指示,將檔案傳輸到支援的電子書閱讀器。