03Fxx

 03E | 03 | 03G

Proof theory and constructive mathematics

03F03Proof theory, general
03F05Cut-elimination and normal-form theorems
03F07Structure of proofs
03F10Functionals in proof theory
03F15Recursive ordinals and ordinal notations
03F20Complexity of proofs
03F25Relative consistency and interpretations
03F30First-order arithmetic and fragments
03F35Second- and higher-order arithmetic and fragments
[See also 03B30]
03F40Gödel numberings in proof theory
03F45Provability logics and related algebras (e.g., diagonalizable algebras)
[See also 03B45, 03G25, 06E25]
03F50Metamathematics of constructive systems
03F52Linear logic and other substructural logics
[See also 03B47]
03F55Intuitionistic mathematics
03F60Constructive and recursive analysis
[See also 03B30, 03D45, 26E40, 46S30, 47S30]
03F65Other constructive mathematics
[See also 03D45]
03F99None of the above, but in this section