Siskind, B. W. (2024, September 20). Order-preserving Martin’s Conjecture and Inner Model Theory [Conference Presentation]. European Set Theory Conference, Münster, Germany.
set theory; Inner model theory; computability theory
en
Abstract:
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 via inner model theory. This is joint work with Patrick Lutz.
