03-XX |
|
|
Mathematical logic and foundations |
|
03Fxx |
|
Proof theory and constructive mathematics |
|
|
03F03 |
Proof theory in general (including proof-theoretic semantics) |
|
|
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 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 |
Proof-theoretic aspects of linear logic and other substructural logics [See also 03B47] |
|
|
03F55 |
Intuitionistic mathematics |
|
|
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 |