Benjamin Siskind (TU Wien)
- Date
- Wednesday 6 November 2024, 4.00 PM
- Location
- MALL
- Category
- Logic Seminar
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.