Countable Boolean Algebras and Decidability

Goncharov, Sergei S.

ISBN 10: 030611061X / ISBN 13: 9780306110610

Editore: Springer US, Springer US Jan 1997, 1997

Riguardo questo articolo

Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Codice articolo 9780306110610

Dati bibliografici

• Titolo: Countable Boolean Algebras and Decidability
• Editore: Springer US, Springer US Jan 1997
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 030611061X
• ISBN 13: 9780306110610
• Rilegatura: Buch
• Condizione: Neu
• Dimensioni: 241 L x 160 A x 23 P (millimetri) 241 millimetri di larghezza per 160 millimetri di altezza per 23 millimetri di profondità
• Peso: 676 grammi

Descrizione articolo

Riassunto

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.

Contenuti

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