Siskind, B. W. (2024, November 6). The status of order-preserving Martin’s Conjecture [Presentation]. Logic Seminar, Leeds, United Kingdom of Great Britain and Northern Ireland (the).
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.
