video/mp4
hdl:11353/10.2075680
https://phaidra.univie.ac.at/o:2075680
http://rightsstatements.org/vocab/InC/1.0/
Benjamin Siskind (TU Vienna)
Video
2024-06-25
eng
Mathematics
ÖFOS 2012 -- NATURAL SCIENCES (1) -- Mathematics (101)
Video
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. For example, it is known that the conjecture holds restricted to the Borel order-preserving functions. In this talk, we'll explain an approach to proving Martin's Conjecture for order-preserving functions beyond the Borel ones via inner model theory. This is joint work with Patrick Lutz.
Order-preserving Martin's Conjecture and Inner Model Theory
Mathematik
ÖFOS 2012 -- NATURWISSENSCHAFTEN (1) -- Mathematik (101)
Determinacy
Inner Models
Forcing Axioms