Calendar

Sun Mon Tue Wed Thu Fri Sat
2
Logic seminar: Mojtaba Moniri 2:30 pm
Logic seminar: Mojtaba Moniri
Oct 2 @ 2:30 pm – 3:30 pm
Some additive vs. multiplicative issues in subrecursivity, maximality, and near-linearity We deal with three topics around addition without or with multiplication. We first present algorithms to compute a certain real, generating its Beatty sequence or[...]
3
Section 2.5 9:00 am
Section 2.5
Oct 3 @ 9:00 am – 10:00 am
Section 7.7 10:30 am
Section 7.7
Oct 3 @ 10:30 am – 11:30 am
4
5
6
7
8
Section 5.1 9:00 am
Section 5.1
Oct 8 @ 9:00 am – 10:00 am
Section 7.8 10:30 am
Section 7.8
Oct 8 @ 10:30 am – 11:30 am
Section 8.5 10:30 am
Section 8.5
Oct 8 @ 10:30 am – 11:30 am
9
Logic seminar 2:30 pm
Logic seminar
Oct 9 @ 2:30 pm – 3:30 pm
10
Section 5.1/5.2 9:00 am
Section 5.1/5.2
Oct 10 @ 9:00 am – 10:00 am
Section 9.1 10:30 am
Section 9.1
Oct 10 @ 10:30 am – 11:30 am
11
12
13
14
15
Section 5.2 9:00 am
Section 5.2
Oct 15 @ 9:00 am – 10:00 am
Section 9.2 10:30 am
Section 9.2
Oct 15 @ 10:30 am – 11:30 am
16
Logic seminar: Jack Yoon 2:30 pm
Logic seminar: Jack Yoon
Oct 16 @ 2:30 pm – 3:30 pm
Assessing the Reverse Mathematical Strength of Gratzer-Schmidt TheoremGratzer-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[...]
17
Section 5.3 9:00 am
Section 5.3
Oct 17 @ 9:00 am – 10:00 am
Section 9.3 10:30 am
Section 9.3
Oct 17 @ 10:30 am – 11:30 am
18
19
20
21
22
Section 5.3/5.4 9:00 am
Section 5.3/5.4
Oct 22 @ 9:00 am – 10:00 am
Section 9.4 10:30 am
Section 9.4
Oct 22 @ 10:30 am – 11:30 am
24
Section 5.4 9:00 am
Section 5.4
Oct 24 @ 9:00 am – 10:00 am
Section 9.5 10:30 am
Section 9.5
Oct 24 @ 10:30 am – 11:30 am
25
26
27
28
29
Section 5.5 9:00 am
Section 5.5
Oct 29 @ 9:00 am – 10:00 am
Section 10.1 10:30 am
Section 10.1
Oct 29 @ 10:30 am – 11:30 am
30
Logic seminar: Kameryn Williams 2:30 pm
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
31
Section 5.5 9:00 am
Section 5.5
Oct 31 @ 9:00 am – 10:00 am
Section 10.2 10:30 am
Section 10.2
Oct 31 @ 10:30 am – 11:30 am
Section 10.3 10:30 am
Section 10.3
Oct 31 @ 10:30 am – 11:30 am