03Fxx Proof theory and constructive mathematics

• 03F03 Proof theory, general
• 03F05 Cut-elimination and normal-form 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 First-order arithmetic and fragments
• 03F35 Second- and higher-order arithmetic and fragments [See also 03E30, 03E70]
• 03F40 G\"odel numberings in proof theory
• 03F50 Metamathematics of constructive systems
• 03F55 Intuitionistic mathematics
• 03F60 Constructive and recursive analysis [See also 26E40, 46S30, 47S30]
• 03F65 Other constructive mathematics [See also 26E40, 46S30, 47S30]
• 03F99 None of the above, but in this section