Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.
Covers the dimension theory of rings, including additivity of dimension and height, Krull's Hauptidealsatz, and the height of general complete intersections.
Covers operations and equivalence relations in number theory, including addition, subtraction, multiplication, division, and properties of neutral and inverse elements.