Logic seminar, Fall 2021

The Cornell Logic Seminar (MATH 7810) is both a reading seminar for students (Tuesdays) and one which features research talks by outside speakers, faculty, and students (Fridays). The logic seminar page contains more complete information for past and upcoming seminar talks (including abstracts).

Logic and Thompson's groups

The reading seminar in Fall 2021 will a variety of papers on Richard Thompson's groups \(F\), \(T\), and \(V\) as well as their relatives. This includes the Brin-Thompson groups \(nV\) which serve as higher dimensional generalizations of \(V\) and well as groups of piecewise linear and piecewise projective homeomorphisms of the interval and circle — for instance Stein's groups \(F_{p_1,\ldots,p_k}\) and Cleary's golden ratio \(F\). No prior knowledge of either Thomson's groups or logic will be required.

The semester will begin with an introduction to Thompson's groups taken from Cannon, Floyd, and Parry's Introductory Notes on Richard Thompson's Groups. The topics will all be tangential to logic or set theory in some way. They will be chosen from:

A list of references for the semester is given below. As there is too much material to cover in the course of the semester, the exact list of topics covered will be determined based on the interests of the participants.

While the seminar will primarily be held in person, some talks will be given via Zoom (typically in the case of outside speakers). These will be recorded and posted under the Zoom menu item (when viewing the recordings, it may be necessary to login to Cornell Zoom via SSO).

Course expectations

Students may enroll in this course for credit under the SX/UX option. Students who are enrolled in the course are expected to share the task of presenting the topic material. While this will depend on the number of students enrolled, this typically involves presenting 2–3 lectures from a single paper. Students enrolled in the seminar are expected to regularly attend talks related to the topic (including those topic-related outside talks).


Note: some files linked below may differ slightly from the published version which is cited.