Countable Boolean Algebras and Decidability
Sergey Goncharov, "Countable Boolean Algebras and Decidability"
1997 | ISBN-10: 030611061X | 330 pages | PDF | 12 MB
1997 | ISBN-10: 030611061X | 330 pages | PDF | 12 MB
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.