Order-preserving Martin's Conjecture and Inner Model Theory

Benjamin Siskind (TU Vienna)

Jun 25. 2024, 10:20 — 11:05

Martin’s Conjecture is a proposed classification of Turing-invariant functions under the Axiom of Determinacy. Whether the classification holds for the ostensibly smaller class of order-preserving functions is open, but more tractable. For example, it is known that the conjecture holds restricted to the Borel order-preserving functions. In this talk, we'll explain an approach to proving Martin's Conjecture for order-preserving functions beyond the Borel ones via inner model theory. This is joint work with Patrick Lutz.

Further Information
Venue:
ESI Boltzmann Lecture Hall
Recordings:
Recording
Associated Event:
Determinacy, Inner Models and Forcing Axioms (Workshop)
Organizer(s):
Sandra Müller (TU Vienna)
Grigor Sargsyan (Polish Academy of Science, Warsaw)
Ralf Schindler (WWU Münster)
John Steel (UC, Berkeley)