Countable Boolean Algebras and Decidability
Springer, ene. 31, 1997 - 318 páginas
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.
Comentarios de usuarios - Escribir una reseña
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and ...
Robert I. Soare
Vista previa restringida - 1987
Algebraic Properties of Boolean Algebras
12 Definitions and the Simplest Properties of Boolean Algebras
13 Ideals and Quotient Algebras of Boolean Algebras
14 The Stone Theorem on Representations of Boolean Algebras
15 The Vaught Criterion
16 Linearly Ordered Generating Sets
17 Generating Trees
18 Ershov Algebras and The Isomorphism Problem
26 Restricted Theories of Boolean Algebras
Constructive Boolean Algebras
31 Basic Notions of the Theory of Algorithms and Constructive Models
32 Constructibility in Linear Orders and Boolean Algebras
33 Trees Generating Constructive Boolean Algebras
34 Decidable Boolean Algebras
35 Restricted Fragments of the Theory of Boolean Algebras and Decidable Algebras
36 Algorithmic Dimension of Boolean Algebras
Elementary Classification of Boolean Algebras
22 Definable ErshovTarski Ideals and Elementary Characteristics of Boolean Algebras
23 Countably Saturated Boolean Algebras and Elementary Classification
24 ModelComplete Theories of Boolean Algebras
25 Consistent Complete Theories of Boolean Algebras
Computability Theory and Its Applications: Current Trends and Open Problems ...
Vista previa restringida - 2000
JSTOR: Countable Boolean Algebras and Decidability
Countable Boolean algebras and decidability. English translation of Schetnye bulevy algebry i razreshiniost'. Siberian school of algebra and logic. ...
Review: Sergei S. Goncharov, Countable Boolean Algebras and ...
Sergei S. Goncharov, Countable Boolean Algebras and Decidability. Full-text: Access via JSTOR (no additional login). Go to this article in JSTOR ...
projecteuclid.org/ handle/ euclid.jsl/ 1183745592