03Fxx


Prev: 03E 
Up: 03 
Next: 03G 

Proof theory and constructive mathematics

03F03 Proof theory, general
03F05 Cutelimination and normalform theorems
03F07 Structure of proofs
03F10 Functionals in proof theory
03F15 Recursive ordinals and ordinal notations
03F20 Complexity of proofs
03F25 Relative consistency and interpretations
03F30 Firstorder arithmetic and fragments
03F35 Second and higherorder arithmetic and fragments [See also 03B30]
03F40 Gödel numberings in proof theory
03F45 Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25]
03F50 Metamathematics of constructive systems
03F52 Linear logic and other substructural logics [See also 03B47]
03F55 Intuitionistic mathematics
03F60 Constructive and recursive analysis [See also 03B30, 03D45, 26E40, 46S30, 47S30]
03F65 Other constructive mathematics [See also 03D45]
03F99 None of the above, but in this section
Version of December 15, 1998