|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Lau D. — Function Algebras on Finite Sets |
|
|
Предметный указатель |
Relation, (l; 2)-universal 518
Relation, (l;r)-central 517
Relation, (l;r)-homogeneous 540
Relation, (l;r)-universal 518
Relation, areflexive 614
Relation, central 173
Relation, central element 517
Relation, coherent 615
Relation, derivable 127
Relation, diagonal 126
Relation, h-ary 125
Relation, h-ary elementary 174
Relation, h-regular 178
Relation, h-universal 175
Relation, induced relation 269
Relation, invariant of the function f 130
Relation, irredundant 605
Relation, length 126
Relation, M-permissible 363
Relation, primitive 197
Relation, quasidiagonal 615
Relation, row 126
Relation, strong 179
Relation, strongly (l; 2)-homogeneous 517
Relation, strongly (l; r)-homogeneous 540
Relation, strongly homogeneous 204
Relation, totally (l;r)-reflexive 517
Relation, totally (l;r)-symmetric 517
Relation, totally reflexive 174
Relation, totally symmetric 174
Relation, unary transversal to s 556
Relation, weakly (l; r)-central 517
Relation, width 126
Relation-pair algebras 141
Replacement of the i-th variable of f through the function g and the changing of the denotation of variables 95
Replacement rule 82
Representation theorem for functions of 98
Residue class ring 58
Right zero 241
Ring 28
Ring with unit element 28
Ring, ideal 58
Ring, unitary 28
Rosenberg’s completeness criterion 191
Selector 93
Semigroup 28
Semigroup, commutative 28
Semilattice 29
Semiprojection 591
Semiring 28
Set of all invariants 131
Set of conjunctions 147
Set of constant functions of 147
Set of diagonal relations 126
Set of disjunctions 147
Set of linear functions of 147
| Set of monotone functions of 146
Set of projections of 147
Set of self-dual functions of 146
Set of the h-ary relations on 126
Set, -basis 49
Set, -independent 49
Set, basis 49
Set, closed 46 97
Set, complete 98
Set, complete in a class 98
Set, finitely generated 48
Set, generated 46
Set, independent 49
Set, infimum of a subset 37
Set, J-closed 274
Set, linearly ordered 36
Set, partially ordered 36
Set, partition 44
Set, supremum of a subset 36
Set, totally ordered 36
Sheffer-function 211
Sheffer-function for 10 307
Slupecki-function 211
subclass 97
Subclass, congruence on 234
Subclass, depth 433
Subclass, dimension 291
Subclass, maximal 98
Subclass, relation degree 291
Subdirect product 66
Subdirect representation 67
Subdirectly irreducible 67
Substitution rule 82 107
Superposition operations 94
Superposition over F 96
Tautology 106
Term 74
Term algebra 74
Term function 75
Term, induces a term function 75
Theorem of Webb 215
Theorem on the orders of the maximal classes 309
Theorem over the cardinality of 221
Transitive, t-fold 218
Tuple, h-tuple 125
Universe see “Algebra”
Valuation 106
Variable 74
Variable, bound 112
Variable, essential 93
Variable, fictitious 93
Variable, free 112
Variety 72
Vector space over the field K 29
Zero-congruence see “Congruence”
Zigzag 325
Zorn’s Lemma 68
|
|
|
Реклама |
|
|
|