03Level 1

Mathematical Logic and Foundations

The MSC 2020 code 03 covers mathematical logic and foundations, including model theory, proof theory, set theory, recursion theory, and philosophical aspects of mathematics. It groups research on the formal structures underlying mathematics and the logical foundations of mathematical theories.

GET/api/v1/systems/msc_2020/nodes/03

Manual TranscriptionPublic Domain

Hierarchy Explorer

Hierarchy ExplorerChevron to expand - click title to open

03BGeneral Logic

03CModel Theory

03DComputability and Recursion Theory

03ESet Theory

Cross-system equivalences0

No cross-system equivalences mapped for this node.

Report a data issue