|
03-XX - Mathematical logic and foundations [MSC 2020] |
01A60 - History of mathematics in the 20th century [MSC 2020] |
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] |
03F30 - First-order arithmetic and fragments [MSC 2020] |
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
03F05 - Cut-elimination and normal-form theorems [MSC 2020] |
03F15 - Recursive ordinals and ordinal notations [MSC 2020] |
03F25 - Relative consistency and interpretations [MSC 2020] |
03F35 - Second- and higher-order arithmetic and fragments [MSC 2020] |