INDEX OF NAMES AN D SUBJECTS To keep the number of page references for any given item down to a usable size, the index contains no explicit references to terms when they are used in proofs. However, it does contain references to authors whose works are cited in proofs. A boldface number indicates a principal reference, or a reference to a definition. Aanderaa 51 Abelian group 4, 20 group relation algebra (vii), (ix), 4, 43 p-group relation algebra (ix), 4,43 relation algebra (vii), (ix), 5ff., 43, 52, 67 set relation algebra (vii), (ix) additive function 3/. group (ix), 20 notation 20 algebra (i), (vii), 1 passim generated by one element (x) cylindric (x), 66 finitely generated (i), (viii), 1,67 ^-generated 1, 61 locally-finite 2, 67ff. non-trivial 1 semi-simple 5 simple (i), (viii), 5, 13 subdirectly irreducible 5 trivial 1, 6 acyclic graph 68 Andreka (x), 4, 6, 50, 52#, 66, 110#. arrow logic (x) assignment 80jf., 109#., 117 associated frame semigroup 27, 34, 38#. associative law 15jff. operation 23 atom (ix), 3, 6, 16, 55, 57, 67ff., 110 atomic relation algebra 5, 57, 67 axiom 15 B Banach Center 52, 66, 110 base set of a set relation algebra 4, 110 of a Lyndon algebra 57 binary relation (vii), 1, passim operation 2, 3, 16, 55 Birkhoff 2, 111 Boole (vii) Boolean algebra 3, 16, 55 algebra with operators (x) combination 56 group 4 group relation algebra (vii), (ix), 4, 43 operation (vii), 57, 67, 110 zero 77 Bredikhin 53, 111 cardinality of a set (ix)j(f., 1, lljff., 14, 16, 32, 38, 49#., 56, 107# Cartesian product of sets 1 axis 19 Cayley representation 4, 8, 43, 50 119
Previous Page Next Page