Mathematical Sciences Classification System
03Fxx - 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 and issues of incompleteness
-
03F45
-
03F50Metamathematics of constructive systems
-
03F52Linear logic and other substructural logics [See also 03B47]
-
03F55Intuitionistic mathematics
-
03F60
-
03F65Other constructive mathematics [See also 03D45]
-
03F99None of the above, but in this section