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 foundations of group theory, including basic definitions, constructions, and the abstract principles underlying group-based algebra.
20A05 studies axiomatics and elementary properties of groups in foundations. It examines the logical and axiomatic foundations of group theory and how formal methods shape group-theoretic arguments.
Used to frame axioms, logic, and formal reasoning in group theory.
20A10 studies metamathematical considerations in group theory in foundations. It examines the logical and axiomatic foundations of group theory and how formal methods shape group-theoretic arguments.
Used to frame axioms, logic, and formal reasoning in group theory.
20A15 studies applications of logic to group theory in foundations. It examines the logical and axiomatic foundations of group theory and how formal methods shape group-theoretic arguments.
Used to frame axioms, logic, and formal reasoning in group theory.