1 | 03F03 | Proof theory, general |
| 1 | 03F05 | Cut-elimination and normal-form theorems |
| 03F07 | Structure of proofs |
| 03F10 | Functionals in proof theory |
| 1 | 03F15 | Recursive ordinals and ordinal notations |
| 1 | 03F20 | Complexity of proofs |
| 1 | 03F25 | Relative consistency and interpretations |
| 2 | 03F30 | First-order arithmetic and fragments |
| 3 | 03F35 | Second- and higher-order arithmetic and fragments [See also 03B30] |
| 03F40 | Gödel numberings and issues of incompleteness |
| 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] |
| 8 | 03F55 | Intuitionistic mathematics |
| 2 | 03F60 | Constructive and recursive analysis [See also 03B30, 03D45, 03D78, 26E40, 46S30, 47S30] |
| 03F65 | Other constructive mathematics [See also 03D45] |
| 03F99 | None of the above, but in this section |