Calendar

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
Jan
31
Fri
Logic seminar: Jack Yoon
Jan 31 @ 2:30 pm – 3:30 pm

The first meeting of the logic seminar will be today at 2:30–3:20 in Keller 314. Our speaker will be Jack Yoon, who will give an introductory lecture on reverse mathematics. An abstract for his talk is below.

I will introduce the basics of reverse mathematics and begin Hunter’s paper on higher order reverse topology, which can be found here: https://www.math.wisc.edu/logic/theses/hunter.pdf

Reverse mathematics is a study of foundations of mathematics by assessing the “strength” of the theorems from ordinary mathematics. Rather than starting from given axioms to prove a theorem, it asks a reverse question “which axioms are necessary to prove the theorem?”. Traditionally, reverse mathematics has played out within the second order arithmetic, but further progress has been made on higher order systems as well. For example, Hunter’s paper above branches out to higher order systems to study the theorems of topology.