03XX 


Mathematical logic and foundations 

03Fxx 

Proof theory and constructive mathematics 


03F03 
Proof theory, general 


03F05 
Cutelimination and normalform 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 
Firstorder arithmetic and fragments 


03F35 
Second and higherorder arithmetic and fragments [See also 03B30] 


03F40 
GĂ¶del numberings in proof theory 


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


03F50 
Metamathematics of constructive systems 


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


03F55 
Intuitionistic mathematics 


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


03F65 
Other constructive mathematics [See also 03D45] 


03F99 
None of the above, but in this section 