Skip to main content

Benjamin Siskind (TU Wien)

Category
Logic Seminar
Date
Date
Wednesday 6 November 2024, 4.00 PM
Location
MALL

The status of order-preserving Martin's Conjecture

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. In this talk, we’ll explain an approach to proving Martin’s Conjecture for order-preserving functions and discuss how far we can go. This is joint work with Patrick Lutz.