201 Charles Street
Providence, RI, 02904
USA
Phone: 401-455-4000
or 800-321-4AMS
Or email us at
ams@ams.org
Open Positions
|
03Fxx
|
|
Prev: 03E |
Up: 03 |
Next: 03G |
|
Proof theory and constructive mathematics
|
- 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 [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
|
