Elements of set theory: elements of proof theory, relations and functions; Groups, including fine permutation groups; Rings and the Euclidean algorithm; homomorphisms; fields.