Browse Classification

Select a 2 digit classification

Search Classifications

Enter a keyword, phrase or a 2-, 3-, or 5-digit classification
< 03Exx | 03-XX | 03Gxx >
03-XX Mathematical logic and foundations
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 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
< 03Exx | 03-XX | 03Gxx >
American Mathematical Society