Index of Phrases and Subjects
adequate for first-order logic, xvi, 11,
adequately linked, 82, 84
algebraic first-order logics, xvi, xxii, :
almost constant shift, xxii
attuned, 41, 42
based on, 212
base set/universe, xiii, xv, 3, 135
bicyclic semigroup, 38
expanded, 121
with zero, 38
biordered, 104
bisectable relation, xvi, 111, 122
bisection, 112, 122, 123
bisector, 112, 122
least, 112, 125
Boolean operations, xxii, 2, 3, 10,
14, 16, 18, 22, 23
canonical triple, 64, 71
cardinal, 3
cardinality of [/, xv, 3, 19, 46, 50,
56, 57, 74, 85, 135, 230
clone of operations, 19, 21-23, 31
closed under/with respect to:
conjugate operation, xii, 9
intersection, xxi, 54, 107-109
relative product, xix, 41, 50, 73,
85, 94, 99, 100
transitivity, 200
complementation:
1-ary, xxii, 10, 17
) relative, xxii, 10, 15, 17
complex algebra of a relational
structure, xxiv
composition of operations, xiv, 9
congruence on F(T) generated by a
relation on F(T), 135
concatenation of sequences, 3
conjugate, xiv, 12
conservative extension, 163, 233
conservational, 207, 231
conservational normal form, 234
converse of a relation, 2
correlated, 104
corresponds, 238
counterclockwise rotation, 31
coupled occurrence, 148
covers, 202
cylindric algebra, xiii, xxiii, 23
cylindrification, xiv, 22
partial, 7
denotes, names, 136
determines, xx, 61, 62
diagonal closure, 107
diagonal relation, xx, 62, 85-93
determined by, xx, 62
mediately determined by, xx, 62, 126
on ^/included in ^Ux^U, 63,
64-109
on l°^U, xx, 63, 64-93, 108, 111,
121-133
on "U and uniform, xx, 111, 112-121
256
Previous Page Next Page