Search and Browse the MSC 2000

03-XX Mathematical logic and foundations → ZMATH

03Fxx Proof theory and constructive mathematics → ZMATH

03F03 Proof theory, general → ZMATH

03F05 Cut-elimination and normal-form theorems → ZMATH

03F07 Structure of proofs → ZMATH

03F10 Functionals in proof theory → ZMATH

03F15 Recursive ordinals and ordinal notations → ZMATH

03F20 Complexity of proofs → ZMATH

03F25 Relative consistency and interpretations → ZMATH

03F30 First-order arithmetic and fragments → ZMATH

03F35 Second- and higher-order arithmetic and fragments [See also 03B30] → ZMATH

03F40 Gödel numberings in proof theory → ZMATH

03F45 Provability logics and related algebras (e.g., diagonalizable algebras) [See also 03B45, 03G25, 06E25] → ZMATH

03F50 Metamathematics of constructive systems → ZMATH

03F52 Linear logic and other substructural logics [See also 03B47] → ZMATH

03F55 Intuitionistic mathematics → ZMATH

03F60 Constructive and recursive analysis [See also 03B30, 03D45, 26E40, 46S30, 47S30] → ZMATH

03F65 Other constructive mathematics [See also 03D45] → ZMATH

03F99 None of the above, but in this section → ZMATH