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

Question : CC = 03B25
03-XX Mathematical logic and foundations

• 03B25 Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10]

11-XX Number theory

• 11U05 Decidability [See also 03B25]

12-XX Field theory and polynomials

• 12L05 Decidability [See also 03B25]

20-XX Group theory and generalizations

• 20F10 Word problems, other decision problems, connections with logic and automata [See also 03B25, 03D05, 03D40, 06B25, 08A50, 20M05, 68Q70]

---

Mot-clé :

---

Retour à la page Classification Mathématique par Matières (version 2000)