A structured visual guide to the major mathematical areas and their relationships.
Search by code, branch, topic, subtopic, or a keyword from the descriptions.
This subtopic studies connections with logic, where arithmetic and number-theoretic questions are analyzed through formal systems and definability methods.
11U05 studies decidability within connections between number theory and logic. It highlights core definitions, key theorem patterns, and methods that connect structural and computational viewpoints.
Used to select proof frameworks, compare equivalent formulations, and support research-grade computation and verification in number-theoretic work.
11U07 studies ultraproducts within connections between number theory and logic. It highlights core definitions, key theorem patterns, and methods that connect structural and computational viewpoints.
Used to select proof frameworks, compare equivalent formulations, and support research-grade computation and verification in number-theoretic work.
11U09 studies model theory within connections between number theory and logic. It highlights core definitions, key theorem patterns, and methods that connect structural and computational viewpoints.
Used to select proof frameworks, compare equivalent formulations, and support research-grade computation and verification in number-theoretic work.
11U10 studies nonstandard arithmetic within connections between number theory and logic. It highlights core definitions, key theorem patterns, and methods that connect structural and computational viewpoints.
Nonstandard arithmetic (Wikipedia)
Used to select proof frameworks, compare equivalent formulations, and support research-grade computation and verification in number-theoretic work.