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

Rewrite code from the image

Reload image

Reload image