1 Table of Contents: “... theory and linear orderings (R.G. Downey). Computable algebras and closure systems: coding properties...”

2 Table of Contents: “...; Exercises; Chapter 2. The stages of an inductive definition; 2A. The Stage Comparison Theorem; 2B. Closure...”

3 “... subgraphs and spanning trees in random graphs as well as matchings, hamiltonian cycles and closure...”

4 Table of Contents: “...) of universally integrable elements; 45 The subspaces s(X) and S(X); 46 Dedekind closures; 47 The Borel subspace...”

5 Table of Contents: “... -- Relative isomorphism, saturated relation, existence criterion, solid or fragil family, interval-closure...”

6 Table of Contents: “... logic; Chapter 13 A closure for partial algebras; Chapter 14 Topological duality theory in algebraic...”

7 Table of Contents: “... theorem; 2. Closure of a module -- the weighted approximation problem; 3. Criteria of localisability; 4. A...”

8 Table of Contents: “...<+>#-Order. The Affine Closure of B<+>#. The Order Compactification: Causal Galois Connections...”

9 Table of Contents: “... of the Integration Mapping; 2. Closed Vector Measures; 3. Closure of a Vector Measure; 4. Completeness of L1 (m); 5...”

10 Table of Contents: “... and Finite Element Methods; 7.5 Variational Principles for Eigenvalue Problems; 7.6 Enclosure Theorems; 7.7...”

11 “... with automatic result verification. The book includes various applications of enclosure methods to problems...”