La Classification Mathématique par matières 2000
Mathematics subject Classification 2000

Query : CC = 20F10
03-XX Mathematical logic and foundations

• 03B25 Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10]
• 03D40 Word problems, etc. [See also 06B25, 08A50, 20F10, 20M05, 68R15]

06-XX Order, lattices, ordered algebraic structures [See also 18B35]

• 06B25 Free lattices, projective lattices, word problems [See also 03D40, 08A50, 20F10]

08-XX General algebraic systems

• 08A50 Word problems [See also 03D40, 06B25, 20F10, 20M05, 68R15]

20-XX Group theory and generalizations

• 20A10 Metamathematical considerations [For word problems, see 20F10]
• 20F10 Word problems, other decision problems, connections with logic and automata [See also 03B25, 03D05, 03D40, 06B25, 08A50, 20M05, 68Q70]
• 20M05 Free semigroups, generators and relations, word problems [See also 03D40, 08A50, 20F10]

---

Keyword :

---

Back to the Mathematics Subject Classification (version 2000)