Calendar

Oct
10
Thu
Section 5.1/5.2
Oct 10 @ 9:00 am – 10:00 am
Section 9.1
Oct 10 @ 10:30 am – 11:30 am
Oct
15
Tue
Section 5.2
Oct 15 @ 9:00 am – 10:00 am
Section 9.2
Oct 15 @ 10:30 am – 11:30 am
Oct
16
Wed
Logic seminar: Jack Yoon
Oct 16 @ 2:30 pm – 3:30 pm


Assessing the Reverse Mathematical Strength of Gratzer-Schmidt Theorem
Gratzer-Schmidt theorem in lattice theory states that all complete and compactly generated lattices are isomorphic to the congruence lattice of an algebra. There has been an effort to assess the strength of this theorem in the reverse mathematical setting. I will discuss my recent progress on this topic and its potential implications.

Oct
17
Thu
Section 5.3
Oct 17 @ 9:00 am – 10:00 am
Section 9.3
Oct 17 @ 10:30 am – 11:30 am
Oct
22
Tue
Section 5.3/5.4
Oct 22 @ 9:00 am – 10:00 am
Section 9.4
Oct 22 @ 10:30 am – 11:30 am
Oct
23
Wed
Logic seminar: Jack Yoon (II)
Oct 23 @ 2:30 pm – 3:30 pm
Oct
24
Thu
Section 5.4
Oct 24 @ 9:00 am – 10:00 am
Section 9.5
Oct 24 @ 10:30 am – 11:30 am
Oct
29
Tue
Section 5.5
Oct 29 @ 9:00 am – 10:00 am
Section 10.1
Oct 29 @ 10:30 am – 11:30 am
Oct
30
Wed
Logic seminar: Kameryn Williams
Oct 30 @ 2:30 pm – 3:30 pm

I will speak about the recent paper “Condensable models of set theory” by Ali Enayat. The abstract can be found here: https://arxiv.org/abs/1910.04029

Oct
31
Thu
Section 5.5
Oct 31 @ 9:00 am – 10:00 am
Section 10.2
Oct 31 @ 10:30 am – 11:30 am
Section 10.3
Oct 31 @ 10:30 am – 11:30 am
Nov
5
Tue
Section 5.6
Nov 5 @ 9:00 am – 10:00 am
Section 10.4
Nov 5 @ 10:30 am – 11:30 am
Nov
7
Thu
Section 6.1
Nov 7 @ 9:00 am – 10:00 am
Midterm 2
Nov 7 @ 10:30 am – 11:30 am
Nov
12
Tue
Midterm 2
Nov 12 @ 9:00 am – 10:00 am
Section 11.1
Nov 12 @ 10:30 am – 11:30 am
Nov
13
Wed
Logic seminar: Sam Birns
Nov 13 @ 2:30 pm – 3:30 pm
Nov
14
Thu
Section 6.2
Nov 14 @ 9:00 am – 10:00 am
Section 11.2
Nov 14 @ 10:30 am – 11:30 am
Nov
19
Tue
Section 6.3
Nov 19 @ 9:00 am – 10:00 am
Section 11.3
Nov 19 @ 10:30 am – 11:30 am
Nov
20
Wed
Logic seminar: Sam Birns
Nov 20 @ 2:30 pm – 3:30 pm