|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Burris S., Sankappanavar H.P. — A Course in Universal Algebra |
|
|
Предметный указатель |
Foster, A.L. 129 159 169 170 193 197 199
Free generators 71
Free occurrence of a variable 220
Free ultrafilter over a set 168
Freely generated by 71
Freese, R. 91 98 283 286 290
Frink, O. 34
Fully invariant congruence 99
Function, discriminator 186
Function, representable by a term 169
Function, switching 170
Function, symbol 26 217
Function, symbol, arity of a 26
Function, symbol, n-ary 26
Function, term 69
Functionally complete 199
Fundamental operation 26 218
Fundamental relation 218
Galois, E. 38
Gelfand, I. 159
Generates 34
Generating set 23
Generating set of an algebra 34
Generating set, minimal 23
Generators 34 286
Godel, K. 271
Graph 222 276
Graph, almost complete 233
Graph, complete 233
Gratzer, G. 9 30 43 45 191 283
Greatest lower bound 7
Group 26
Group, abelian 26
Group, commutative 26
Groupoid 26
Grzegorczyk, A. 276
Gumm, H.P. 94 98
Hagemann, J. 91 94 98 283
Hasse diagram 7
Hereditarily simple 196
Herrmann, C. 91 94 98 283
Heyting algebra 28
Heyting algebra, filter of 152
Higman, G. 286
Hofmann, K.H. 129 185
Homomorphic image of an algebra 47
Homomorphism 47 231
Homomorphism, deletion 122
Homomorphism, kernel of 49
Homomorphism, natural 50
Homomorphism, of structures 231
Homomorphism, theorem 50
Horn formula 232 235
Horn formula, basic 235
Horn formula, universal 245
Hutchinson, G. 286
Ideal of a Boolean algebra 142
Ideal of a lattice 12 175
Ideal of the poset of compact elements 20
Ideal, generated by 147 175
Ideal, maximal 148 175
Ideal, prime 150
Ideal, principal 12
Ideal, proper 175
Idempotent 21
Idempotent, binary algebra 117
Idempotent, laws 6
Idempotent, operator 67
Identities, balanced 107
Identities, deductive closure of 104
Identities, finitely based 259
Identity 77
Identity, element of a ring 27
Image of a structure 231
inf 7
Infimum 7
Initial object 73
Interval, closed 7
Interval, open 7
Interval, topology 158
Inverse of a binary relation 18
IPOLS 117
Irreducible join 9
Irreducible sub directly 63
Irredundant basis 36
Isolated point of a topological space 158
Isomorphic algebras 31
Isomorphic lattices 10
Isomorphism 31 228
Isomorphism of lattices 10
Isomorphism of structures 228
Isomorphism theorem, second 51
Isomorphism theorem, third 53
Isotone 21
Jacobson, N. 107
Join 5
Join, irreducible 9
Jonsson, B. 45 46 89 90 163 165 168 169 262 269 283 284
K-free algebra 73
Kaplansky, I. 129 159 287 288
Keimel, K. 129 187 287 288
Kernel of a homomorphism 49
Kernel of a homomorphism, formula 218
Kernel of a homomorphism, structure 218
Kleene, S.C. 111 119 123 127 289
Klein, F. 31
Komatu, A. 19
Krauss, P.H. 212 288 289
Kruse, R.L. 259
Kurosh, A.G. 30
Language (automata theory) 120
Language (automata theory), accepted by a partial f.s.a. 120
Language (automata theory), accepted by an f.s.a. 120
Language (automata theory), regular 120
Language (first-order) 217
Language (first-order) of algebras 26 217
Language (first-order) of relational structures 217
Latin squares of order n 115
Latin squares of order n, orthogonal 115
Lattice(s) 5 8 28
Lattice(s) of partitions 19
Lattice(s) of subuniverses 33
Lattice(s), algebraic 19
Lattice(s), bounded 28
Lattice(s), compact element of a 19
Lattice(s), compactly generated 19
Lattice(s), complemented 30
Lattice(s), complete 17
Lattice(s), congruence 40
Lattice(s), distributive 12
Lattice(s), dual 9
Lattice(s), embedding of a 11
Lattice(s), filter of a 175
Lattice(s), ideal of a 12 175
Lattice(s), isomorphic 10
Lattice(s), isomorphism of 10
Lattice(s), maximal filter of a 175
Lattice(s), maximal ideal of a 175
Lattice(s), modular 13
Lattice(s), orthomodular 30
Lattice(s), principal ideal of a 12
Lattice(s), proper ideal of a 175
Lattice(s), relative complement in a 176
Lattice(s), relatively complemented 175
Lawrence, J. 162
Least upper bound 6
Length of a deduction 105
Length of a formula 224
Linearly ordered set 6
Linial, S. 287
| Linial-Post theorem 287
Lipschitz, L. 286
Locally finite 76
Logically equivalent formulas 23
Loop 27
Los, J. 163 234 239
Lower, bound 7
Lower, segment 12
Lvov, I.V. 259
Lyndon, R. 259
Macintyre, A. 289
Macneish, H. 115
Magari, R. 72 75
Majority term 90
Mal’cev condition 85
Mal’cev term 90
Mal’cev, A.I. 30 31 72 85 86 90 251 285
Map, natural 50 60
Map, order-preserving 10
Markov, A. 286 287
Matrix of a formula 225
Maurer, W.D. 205
Maximal closed subset 24
Maximal congruence 65
Maximal filter of a lattice 175
Maximal ideal of a Boolean algebra 168
Maximal ideal of a lattice 175
Maximal property 236
McCoy, N.H. 129
McCulloch, W.S. 119
McKenzie, R. 5 91 94 98 99 212—215 233 252 254 259 260 280 282 283 287 288 290
McNulty, G.F. 31 37 287
Meet 5
Minimal generating set 23
Minimal variety 107
Model 222
Modular, Abelian variety 284
Modular, lattice 13
Modular, law 13
Module over a ring 27
Monadic algebra 136
Mono-unary algebra 26
Monoid 27
Monoid, syntactic 127
Monomorphism 32
Murskh, V.L. 31 259 285 287
Myhill, J. 119 126 127 289
n-ary, closure operator 35
n-ary, function symbol 26
n-ary, operation 25
n-ary, relation 217
n-ary, relation symbol 217
n-ary, term 69
n-valued Post algebra 29
Nachbin, L. 19
Natural embedding in an ultrapower 240
Natural homomorphism 50
Natural map 50 60
Nelson, E. 68
Nerve nets 119
Neumann, B.H. 30
Noether, E. 25
Novikov, RS. 271 286
Nullary operation 25
Oates, S. 259 290
Occurrence of a variable 220
Open diagram 249
Open formula 225
Open interval 7
Operation, arity of an 25
Operation, binary 26
Operation, constant 25
Operation, fundamental 26
Operation, n-ary 25
Operation, nullary 25
Operation, rank of an 25
Operation, ternary 26
Operation, unary 26
Operation, Unitary 25
Operator, class 66
Operator, idempotent 67
Order of a POLS 116
Order of a Steiner triple system 111
Order, partial 6
Order, total 6
Order-preserving map 10
Ordered basis 142
Ordered linearly 6
Ordered partially 6
Ordered totally 6
Ore, O. 284
Orthogonal Latin square(s) 115
Orthogonal Latin square(s), order of an 115
Orthogonal Latin square(s), pair of 116
Ortholattice 29
Orthomodular lattice 30
Pair of orthogonal Latin squares 116
Parameters 221
Parker, E.T. 115
Partial f.s.a. 120
Partial order 6
Partial unary algebra 120
Partially ordered set 6
Partially ordered set, complete 17
Partition 19
Partition, block of a 19
Patchwork property 175
Peirce, R.S. 30
Perkins, P. 259
Permutable congruences 43
Permutable, 3- 46
PERMUTE 43
Pierce, OS. 5 129
Pigozzi, D. 68
Pitts, W. 119
Pixley, A.F. 88 90 129 193 195—197 199
Polin, S.V. 259 290
POLS 116
Polynomial 93
Polynomially equivalent algebras 93
POSET 6
Poset, complete 17
Positive sentence 231
Post, E.L. 271 286 287
Powell, M.B. 259 290
Power set 6
Prenex form 225
Presentation 286
Presentation, Finite 286
Preserves subalgebras 195
Primal algebra 169
Prime ideal of a Boolean algebra 150
Principal congruence(s) 41
Principal congruence(s), definable 254
Principal congruence(s), formula 254
Principal ideal of a lattice 12
Principal ultrafllter of a Boolean algebra 151
Principal ultrafllter over a set 168
Product, congruence 200
Product, direct 56 58 232
Product, of algebras 56 58
Product, reduced 235
Projection map 56 58
Proper, filter 175
Proper, ideal 175
Propositional connective 219
Pudlak, P. 45
Quackenbush, R.W. 115 199 212 258 290
Quantifier 219
Quantifier, existential 219
|
|
|
Реклама |
|
|
|