Fraisse's conjecture in Pi11 comprehension

Logic Seminar

Meeting Details

For more information about this meeting, contact Kristin Berrigan, Jan Reimann, Linda Westrick.

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

Date: 12/03/2019

Time: 2:30pm - 4:00pm