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 Godel 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
--> Top level of Index
--> Top level of this Section