|
|
|
1 | (34) |
|
|
|
1 | (13) |
|
1.1.1 The Search for Functorial Solutions to Certain Representation Problems |
|
|
2 | (3) |
|
1.1.2 Partially Functorial Solutions to Representation Problems |
|
|
5 | (3) |
|
1.1.3 Contents of the Book |
|
|
8 | (4) |
|
1.1.4 How Not to Read the Book |
|
|
12 | (2) |
|
|
|
14 | (10) |
|
|
|
14 | (1) |
|
1.2.2 Stone Duality for Boolean Algebras |
|
|
15 | (1) |
|
1.2.3 Partially Ordered Sets (Posets) and Lattices |
|
|
15 | (2) |
|
|
|
17 | (3) |
|
1.2.5 Directed Colimits of First-Order Structures |
|
|
20 | (4) |
|
1.3 Kappa-Presented and Weakly Kappa-Presented Objects |
|
|
24 | (2) |
|
1.4 Extension of a Functor by Directed Colimits |
|
|
26 | (7) |
|
1.5 Projectability Witnesses |
|
|
33 | (2) |
|
2 Boolean Algebras That Are Scaled with Respect to a Poset |
|
|
35 | (16) |
|
2.1 Pseudo Join-Semilattices, Supported Posets, and Almost Join-Semilattices |
|
|
35 | (3) |
|
2.2 P-Normed Spaces, P-Scaled Boolean Algebras |
|
|
38 | (3) |
|
2.3 Directed Colimits and Finite Products of P-Scaled Boolean Algebras |
|
|
41 | (2) |
|
2.4 Finitely Presented P-Scaled Boolean Algebras |
|
|
43 | (2) |
|
2.5 Normal Morphisms in BoolP and in BTopP |
|
|
45 | (2) |
|
2.6 Norm-Coverings of a Poset; The Structures 2[ p] and F(X) |
|
|
47 | (4) |
|
3 The Condensate Lifting Lemma (CLL) |
|
|
51 | (30) |
|
3.1 The Functor A → A S; Condensates |
|
|
51 | (2) |
|
3.2 Lifters and the Armature Lemma |
|
|
53 | (4) |
|
3.3 The Lowenheim-Skolem Condition and the Buttress Lemma |
|
|
57 | (3) |
|
3.4 Larders and the Condensate Lifting Lemma |
|
|
60 | (3) |
|
3.5 Infinite Combinatorics and Lambda-Lifters |
|
|
63 | (7) |
|
3.6 Lifters, Retracts, and Pseudo-Retracts |
|
|
70 | (4) |
|
3.7 Lifting Diagrams Without Assuming Lifters |
|
|
74 | (3) |
|
3.8 Left and Right Larders |
|
|
77 | (4) |
|
4 Getting Larders from Congruence Lattices of First-Order Structures |
|
|
81 | (36) |
|
4.1 The Category of All Monotone-Indexed Structures |
|
|
82 | (4) |
|
4.2 Directed Colimits of Monotone-Indexed Structures |
|
|
86 | (3) |
|
4.3 The Relative Congruence Lattice Functor with Respect to a Generalized Quasivariety |
|
|
89 | (5) |
|
4.4 Preservation of Small Directed Colimits by the Relative Compact Congruence Functor |
|
|
94 | (1) |
|
4.5 Ideal-Induced Morphisms and Projectability Witnesses in Generalized Quasivarieties |
|
|
95 | (3) |
|
4.6 An Extension of the Lowenheim-Skolem Theorem |
|
|
98 | (3) |
|
4.7 A Diagram Version of the Gratzer-Schmidt Theorem |
|
|
101 | (3) |
|
4.8 Right 0-Larders from Congruence-Proper Quasivarieties |
|
|
104 | (4) |
|
4.9 Relative Critical Points Between Quasivarieties |
|
|
108 | (5) |
|
4.10 Strong Congruence-Properness of Certain Finitely Generated Varieties of Algebras |
|
|
113 | (1) |
|
4.11 A Potential Use of Larders on Non-regular Cardinals |
|
|
114 | (3) |
|
5 Congruence-Permutable, Congruence-Preserving Extensions of Lattices |
|
|
117 | (14) |
|
5.1 The Category of Semilattice-Metric Spaces |
|
|
118 | (1) |
|
5.2 The Category of All Semilattice-Metric Covers |
|
|
119 | (1) |
|
5.3 A Family of Unliftable Squares of Semilattice-Metric Spaces |
|
|
120 | (4) |
|
5.4 A Left Larder Involving Algebras and Semilattice-Metric Spaces |
|
|
124 | (2) |
|
5.5 CPCP-Retracts and CPCP-Extensions |
|
|
126 | (5) |
|
6 Larders from Von Neumann Regular Rings |
|
|
131 | (8) |
|
6.1 Ideals of Regular Rings and of Lattices |
|
|
131 | (5) |
|
6.2 Right Larders from Regular Rings |
|
|
136 | (3) |
|
|
|
139 | (4) |
| References |
|
143 | (3) |
| List of Figures |
|
146 | (3) |
| Symbol Index |
|
149 | (4) |
| Subject Index |
|
153 | (4) |
| Author Index |
|
157 | |
