Louise Hay Logic Seminar
Isabella Scott
University of Chicago
The reverse mathematics of existence of ideals in commutative rings
Abstract: Abstract: Revisiting Kronecker's claim that "God created the integers, all else is the work of man", let's take a look at just how much of mathematics can be formalised in arithmetic. Since a lot of mathematics requires forming sets, we'll allow ourselves some set existence axioms, but we'll be suspicious of them, because, well, we're not sure if they have divine approval. In the interest of time, we won't talk about all of mathematics, but we'll focus on a couple of theorems about the existence of ideals in commutative rings.
Monday November 28, 2022 at 5:00 PM in 427 SEO