Fraisse's conjecture in Pi11 comprehension
Speaker: Linda Westrick, Penn State University
Abstract: In 2017 Montalban gave a new proof of Fraisse's conjecture which goes through using only the axiom of Pi11 comprehension. I will present his proof, which is quite different from Laver's original proof of the conjecture. In the new proof, Fraisse's conjecture follows from ATR plus the fact that 3 is a Delta02-bqo. The exact strength of both the latter fact and Fraisse's conjecture remains open.
Room Reservation Information
Room Number: 315 McAllister
Time: 2:30pm - 4:00pm