08-XX
|
General algebraic systems
|
08-00
|
General reference works (handbooks, dictionaries, bibliographies, etc.)
|
08-01
|
Instructional exposition (textbooks, tutorial papers, etc.)
|
08-02
|
Research exposition (monographs, survey articles)
|
08-03
|
Historical {!must also be assigned at least one classification number from section 01}
|
08-04
|
Explicit machine computation and programs (not the theory of computation or programming)
|
08-06
|
Proceedings, conferences, collections, etc.
|
08Axx
|
Algebraic structures
[See also
03C05]
|
08A02
|
Relational systems, laws of composition
|
08A05
|
Structure theory
|
08A30
|
Subalgebras, congruence relations
|
08A35
|
Automorphisms, endomorphisms
|
08A40
|
Operations, polynomials, primal algebras
|
08A45
|
Equational compactness
|
08A50
|
Word problems
[See also
03D40,
06B25,
20F10,
68R15]
|
08A55
|
Partial algebras
|
08A60
|
Unary algebras
|
08A62
|
Finitary algebras
|
08A65
|
Infinitary algebras
|
08A68
|
Heterogeneous algebras
|
08A70
|
Applications of universal algebra in computer science
|
08A72
|
Fuzzy algebraic structures
|
08A99
|
None of the above, but in this section
|
08Bxx
|
Varieties
|
08B05
|
Equational logic, Malcev (Maltsev) conditions
|
08B10
|
Congruence modularity, congruence distributivity
|
08B15
|
Lattices of varieties
|
08B20
|
Free algebras
|
08B25
|
Products, amalgamated products, and other kinds of limits and colimits
[See also
18A30]
|
08B26
|
Subdirect products and subdirect irreducibility
|
08B30
|
Injectives, projectives
|
08B99
|
None of the above, but in this section
|
08Cxx
|
Other classes of algebras
|
08C05
|
Categories of algebras
[See also
18C05]
|
08C10
|
Axiomatic model classes
[See also
03Cxx,
in particular
03C60]
|
08C15
|
Quasivarieties
|
08C99
|
None of the above, but in this section
|