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
• 03Exx Set theory
• 03Fxx Proof theory and constructive mathematics
• 03Gxx Algebraic logic
  • 03G05 Boolean algebras [See also 06Exx]
  • 03G10 Lattices and related structures [See also 06Bxx]
  • 03G12 Quantum logic [See also 06C15, 81P10]
  • 03G15 Cylindric and polyadic algebras; relation algebras
  • 03G20 Lukasiewicz and Post algebras [See also 06D25, 06D30]
  • 03G25 Other algebras related to logic [See also 03F45, 06D20, 06E25, 06F35]
  • 03G30 Categorical logic, topoi [See also 18B25, 18C05, 18C10]
  • 03G99 None of the above, but in this section
• 03Hxx Nonstandard models [See also 03C62]

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