Lectures related to Order of Operations: Unnecessary Parentheses

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Covers ideals, representations, modules, and maximal ideals in associative algebras.

Covers the classification of compact p-adic manifolds using the C.o.V-formula and explores smooth algebraic varieties and Hensel's lemma.