Calendar

Oct
2
Wed
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 base 2 expansion. The former calculates in integers with addition, in conjunction with the counting operator. The latter calculates in integers with addition and multiplication. Motivation comes from subrecursive reals.

Next, let F be an ordered field, D a maximal discrete subring of F, and G a maximal discrete additive subgroup of F. We point out that although there are examples where F has elements of infinite distance to D, it can never realize any gaps of G. If F is countable, then G can be constructed Delta^0_2 relative to F.

Finally we finish and extend the talk of last week by considering some nonstandard models M of weak arithmetic which have the integers as an additive direct summand. We present functions f and g from M to M whose value at a sum minus sum of values is always 0 or 1 yet for some x,y,u,v ≥ 1in M, we have f(xy) < xf(y) and g(uv) > ug(v) + u – 1.

Oct
9
Wed
Logic seminar
Oct 9 @ 2:30 pm – 3:30 pm
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
23
Wed
Logic seminar: Jack Yoon (II)
Oct 23 @ 2:30 pm – 3:30 pm
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

Nov
13
Wed
Logic seminar: Sam Birns
Nov 13 @ 2:30 pm – 3:30 pm
Nov
20
Wed
Logic seminar: Sam Birns
Nov 20 @ 2:30 pm – 3:30 pm
Dec
11
Wed
Logic seminar: David Ross
Dec 11 @ 2:30 pm – 3:30 pm