| 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 |
| 03F40 |
- |
Gödel numberings in proof theory |
| 03F45 |
- |
Provability logics and related algebras (e.g., diagonalizable algebras) |
| 03F50 |
- |
Metamathematics of constructive systems |
| 03F52 |
- |
Linear logic and other substructural logics |
| 03F55 |
- |
Intuitionistic mathematics |
| 03F60 |
- |
Constructive and recursive analysis |
| 03F65 |
- |
Other constructive mathematics |
| 03F99 |
- |
Miscellaneous |
|
[
up
|
top
]
|
