Labels
Labels
102 labels
- Natural language statement too imprecise to formalize.
- including model theory, computability theory, set theory, proof theory, and algebraic logic
- Order, lattices, ordered algebraic structures
- Linear and multilinear algebra; matrix theory
- Several complex variables and analytic spaces