Benjamin Siskind (TU Wien) – The status of order-preserving Martin's Conjecture
- Date
- @ MALL, online, 16:00
- Location
- MALL, online
- Speaker
- Benjamin Siskind
- Affiliation
- TU Wien
- Duration
- 1 hour
- Category
- Logic
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.