Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Burris S., Sankappanavar H.P. — A Course in Universal Algebra
Burris S., Sankappanavar H.P. — A Course in Universal Algebra



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: A Course in Universal Algebra

Авторы: Burris S., Sankappanavar H.P.

Язык: en

Рубрика: Математика/Алгебра/Учебники/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Издание: millenium edition

Год издания: 1981

Количество страниц: 276

Добавлена в каталог: 12.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
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
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте