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

Retour aux chapitres de la classification

03-XX Mathematical logic and foundations

• 03-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
• 03-01 Instructional exposition (textbooks, tutorial papers, etc.)
• 03-02 Research exposition (monographs, survey articles)
• 03-03 Historical (must also be assigned at least one classification number from Section 01)
• 03-04 Explicit machine computation and programs (not the theory of computation or programming)
• 03-06 Proceedings, conferences, collections, etc.
• 03-99 Mathematical logic and foundations (not classified at a more specific level)
• 03A05 Philosophical and critical [For philosophy of mathematics, see also 00A30]
• 03Bxx General logic
• 03Cxx Model theory
• 03Dxx Computability and recursion theory
  • 03D03 Thue and Post systems, etc.
  • 03D05 Automata and formal grammars in connection with logical questions [See also 68Q45, 68Q70, 68R15]
  • 03D10 Turing machines and related notions [See also 68Q05]
  • 03D15 Complexity of computation [See also 68Q15, 68Q17]
  • 03D20 Recursive functions and relations, subrecursive hierarchies
  • 03D25 Recursively (computably) enumerable sets and degrees
  • 03D28 Other Turing degree structures [Nouveau code MSC 2000]
    • Code MSC1991 affilié : 03D30
  • 03D30 Other degrees and reducibilities
  • 03D35 Undecidability and degrees of sets of sentences
  • 03D40 Word problems, etc. [See also 06B25, 08A50, 20F10, 20M05, 68R15]
  • 03D45 Theory of numerations, effectively presented structures [See also 03C57; for intuitionistic and similar approaches see 03F55]
  • 03D50 Recursive equivalence types of sets and structures, isols
  • 03D55 Hierarchies
  • 03D60 Computability and recursion theory on ordinals, admissible sets, etc.
  • 03D65 Higher-type and set recursion theory
  • 03D70 Inductive definability
  • 03D75 Abstract and axiomatic computability and recursion theory
  • 03D80 Applications of computability and recursion theory
  • 03D99 None of the above, but in this section
• 03Exx Set theory
• 03Fxx Proof theory and constructive mathematics
• 03Gxx Algebraic logic
• 03Hxx Nonstandard models [See also 03C62]

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