Mathematics Subject Classification 2000

03Fxx Proof theory and constructive mathematics ( 0 Dok. )

• 03F03 Proof theory, general ( 0 Dok. )
• 03F05 Cut-elimination and normal-form theorems ( 0 Dok. )
• 03F07 Structure of proofs ( 0 Dok. )
• 03F10 Functionals in proof theory ( 0 Dok. )
• 03F15 Recursive ordinals and ordinal notations ( 0 Dok. )
• 03F20 Complexity of proofs ( 0 Dok. )
• 03F25 Relative consistency and interpretations ( 0 Dok. )
• 03F30 First-order arithmetic and fragments ( 0 Dok. )
• 03F35 Second- and higher-order arithmetic and fragments ( 0 Dok. )
• 03F40 Gödel numberings in proof theory ( 0 Dok. )
• 03F45 Provability logics and related algebras (e.g., diagonalizable algebras) ( 0 Dok. )
• 03F50 Metamathematics of constructive systems ( 0 Dok. )
• 03F52 Linear logic and other substructural logics ( 0 Dok. )
• 03F55 Intuitionistic mathematics ( 0 Dok. )
• 03F60 Constructive and recursive analysis ( 0 Dok. )
• 03F65 Other constructive mathematics ( 0 Dok. )
• 03F99 None of the above, but in this section ( 0 Dok. )