Countable Boolean algebras and decidability
著者
書誌事項
Countable Boolean algebras and decidability
(Siberian school of albebra and logic / series editor: Yuri L. Ershov)
Consultants Bureau, c1997
- タイトル別名
-
Schetnye bulevy algebry
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 303-313) and index
内容説明・目次
内容説明
This book describes the latest Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and model-theoretic points of view. A significantly revised version of the author's Countable Boolean Algebras (Nauka, Novosibirsk, 1989), the text presents new results as well as a selection of open questions on Boolean algebras. Other current features include discussions of the Kottonen algebras in enrichments by ideals and automorphisms, and the properties of the automorphism groups.
目次
Algebraic Properties of Boolean Algebras. Elementary Classification of Boolean Algebras. Constructive Boolean Algebras. Index.
「Nielsen BookData」 より