Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
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[...]
|
||||||
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[...]
|
||||||
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
|