Calendar

Sun Mon Tue Wed Thu Fri Sat
1
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
4
5
6
7
8
9
Logic seminar 2:30 pm
Logic seminar
Oct 9 @ 2:30 pm – 3:30 pm
10
11
12
13
14
15
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
18
19
20
21
22
24
25
26
27
28
29
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