|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Burris S., Sankappanavar H.P. — A Course in Universal Algebra |
|
|
|
| Предметный указатель |
Quantifier, universal 219
Quasi-identity 250
Quasigroup 27
Quasigroup, Steiner 113
Quasiprimal 196
Quasivariety 250
Quotient algebra 39
Rabin, M.O. 271 276 279 287
Rank of an operation 25
Reduced product 26 235
Reduct 30 251
Regular language 120
Regular open subset 16
Relation 217
Relation, all 18
Relation, binary 17 217
Relation, diagonal 18 307
Relation, equivalence 18
Relation, finitary 217
Relation, fundamental 218
Relation, n-ary 217
Relation, symbol 217
Relation, ternary 217
Relation, unary 217
Relational product 17
Relational structure 218
Relational structure(s), language of 217
Relational symbol, n-ary 217
Relative complement in a lattice 176
Relatively complemented lattice 175
replacement 104
Representable by a term 169
Restriction of a congruence 52
Rhodes, J.L. 205
Ring 27
Ring of sets 16
Ring with identity 27
Ring, biregular 185
Ring, boolean 136
Robinson, J. 276
Rogers, H. 277
Rosenbloom, P.O. 129 169
Rosser, B. 271
Rubin, M. 281
Satisfaction of formulas 221
Satisfaction of sentences 221
Satisfies 78 221
Schmidt, E.T. 43 45
Schmidt, J. 24
Schroeder, E. 5
Schutzenberger, M.P. 289
Second isomorphism theorem 51
Semantic embedding 272 279
Semigroup 27
Semilattice 28
Semiprimal 199
Semisimple 207
Sentence(s) 221
Sentence(s), positive 231
Sentence(s), satisfaction of 221
Sentence(s), special Horn 232
Sentence(s), universal 230 245
Separates points 61
Set(s), power 6
Set(s), ring of 16
Shelah, S. 290
Shrikhande, S.S. 115
Sierpihski, W. 174
Simple algebra 65
Skew-free, subdirect product 200
Skew-free, totally 200
Sloop 113
Smith, J.D.H. 91 98 283
Solvable word problem 286
Spec 183
Special Horn sentence 232
Spectrum of a formula 233
Spectrum of a variety 191
Squag 113
States of an f.s.a. 120
Steiner, loop 113
Steiner, quasigroup 113
Steiner, triple system 111
Stone duality 152
Stone, M.H. 129 134 136 137 149 152 153 157
Strictly elementary class 229 244
Strictly elementary relative to 229
Strictly first-order class 229 244
Strictly first-order relative to 229
Structure(s) 217
Structure(s), chain of 231
Structure(s), direct product of 232
Structure(s), elementary class of 243
Structure(s), elementary embedding of 228
Structure(s), embedding of 228 231
Structure(s), first-order 217
Structure(s), first-order class of 243
Structure(s), homomorphism of 231
Structure(s), image of a 231
Structure(s), isomorphism of 228
Structure(s), subdirect embedding of 232
Structure(s), subdirect product of 232
Structure(s), type of 217
Subalgebra(s) 31
Subalgebra(s), preserves 195
Subdirect embedding 63 232
Subdirect product 62 232
| Subdirect product, skew-free 200
Subdirectly irreducible algebra 63
Subformula 219
Sublattice 11
Sublattice, complete 17
Sublattice, contains a copy as a 11
Subset(s), closed 21
Subset(s), cofinite 135
Subset(s), field of 134
Subset(s), maximal closed 24
Subset(s), regular open 16
Substitution 104
Substructure 227
Substructure, elementary 227
Substructure, generated by 227
Subterm 104
Subuniverse(s) 31
Subuniverse(s), generated by 34
Subuniverse(s), lattice of 33
Subvariety 107
Sup 6
Supremum 6
Switching function 170
Switching term 170
Szmielew, W. 285
Tarry, G. 115
Tarski, A. 20 23 29 36 38 67 68 108 217 271—274 276 285
Taylor, W. 30 37 66 85 90 94 98 212 252 257 283 290
Term 68 218
Term, 2/3-minority 90
Term, algebra 71
Term, discriminator 186
Term, function 69
Term, majority 90
Term, Mal’cev 90
Term, of type  68
Term, of type  218
Term, switching 170
Ternary, operation 26
Ternary, relation 217
Theory 243 271
Theory, equational 103
Third isomorphism theorem 53
Thompson, F.B. 29
Topological space(s), discrete 157
Topological space(s), disjointed union of 156
Topological space(s), isolated point of 158
Topological space(s), union of 156
Topology, interval 158
Total order 6
Totally skew-free set of algebras 200
Trakhtenbrot, B.A. 286
Trivial algebra 26
Trivial variety 107
Turing, A.M. 271
TYPE 26
Type of a structure 217
Type of an algebra 26
Ultrafilter of a Boolean algebra 148
Ultrafilter over a set 163
Ultrafilter, free 168
Ultrafilter, principal 151 168
Ultrapower 239
Ultrapower, natural embedding in an 240
Ultraproduct 164 239
Unary, algebra 26
Unary, operation 26
Unary, relation 217
Underlying set 26
Union of topological spaces 156
Unitary R-module 27
UNIVERSAL class 245
Universal formula 245
Universal Horn class 245
Universal Horn formula 245
Universal mapping property 71
Universal quantifier 219
Universal sentence 230
Universe 26 218
Unsolvable word problem 286
Upper bound 6
Valence 228
Variable 68 218
Variable, bound occurrence of a 220
Variable, free occurrence of a 220
Variable, occurrence of a 220
Variety 67
Variety, arithmetical 88
Variety, directly representable 212
Variety, discriminator 186
Variety, equationally complete 107
Variety, finitely generated 67
Variety, generated by a class of algebras 67
Variety, minimal 107
Variety, modular Abelian 284
Variety, spectrum of a 191
Variety, trivial 107
Vaught, R.L. 289
von Neumann, J. 127
Wenzel, G. 65
Werner, H. 129 187 191 205 285 287—289
Whitehead, A.N. 25
Word problem 286
Word problem, decidable 286
Word problem, solvable 286
Word problem, unsolvable 286
yields 103 222
Zamjatin, A.R 285
|
|
|
| Реклама |
|
|
|
|
|
О проекте