Activities / Library

Mathematical Sciences Classification System

03Fxx - Proof theory and constructive mathematics

• 4
  03F03
  Proof theory, general
• 2
  03F05
  Cut-elimination and normal-form theorems
• 3
  03F07
  Structure of proofs
• 03F10
  Functionals in proof theory
• 1
  03F15
  Recursive ordinals and ordinal notations
• 5
  03F20
  Complexity of proofs
• 1
  03F25
  Relative consistency and interpretations
• 10
  03F30
  First-order arithmetic and fragments
• 5
  03F35
  Second- and higher-order arithmetic and fragments [See also 03B30]
• 4
  03F40
  Gödel numberings and issues of incompleteness
• 03F45
  Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25]
• 2
  03F50
  Metamathematics of constructive systems
• 1
  03F52
  Linear logic and other substructural logics [See also 03B47]
• 10
  03F55
  Intuitionistic mathematics
• 5
  03F60
  Constructive and recursive analysis [See also 03B30, 03D45, 03D78, 26E40, 46S30, 47S30]
• 1
  03F65
  Other constructive mathematics [See also 03D45]
• 03F99
  None of the above, but in this section