Countable Boolean Algebras and Decidability

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.

Sommario

Algebraic Properties of Boolean Algebras. Elementary Classification of Boolean Algebras. Constructive Boolean Algebras. Index.

Dettagli sul prodotto

• Autori: Sergei S Goncharov, Sergei S. Goncharov, Sergey Goncharov
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 01.07.2009
• EAN: 9780306110610
• ISBN: 978-0-306-11061-0
• Pagine: 330
• Peso: 653 g
• Illustrazioni: 330 p.
• Serie: Siberian School of Algebra and Logic; Siberian School of Algebra and Logic
• Categoria: Scienze naturali, medicina, informatica, tecnica > Matematica > Aritmetica, algebra