COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Computing beyond Constructibility: The Recognizability Stregth of Ordinal Time Machines

## Computing beyond Constructibility: The Recognizability Stregth of Ordinal Time MachinesAdd to your list(s) Download to your calendar using vCal - Carl, M (Universitt Konstanz)
- Wednesday 16 December 2015, 13:30-14:30
- Seminar Room 1, Newton Institute.
If you have a question about this talk, please contact webseminars. Mathematical, Foundational and Computational Aspects of the Higher Infinite Co-author: Philipp Schlicht (Universitt Bonn) Transfinite machine models of computation provide an approach to an `effective mathematics of the uncountable’. However, their set-theoretical interest seems to be limited by the fact that even the strongest such model, Koepke’s Ordinal Turing Machines with parameters (pOTMs), can only compute constructible sets. Recognizability is a more liberal notion than computability in that it only requires the machine to be able to identify a certain object when it is given to it as an input, not to produce that object. By invoking notions from algorithmic randomness and considering recognizability rather than computability, we connect transfinite computability to large cardinals and forcing axioms incompatible with the axiom of constructibility on the one hand and inner models for large cardinals on the other. In particular, under appropriate large cardinal assumptions, a real number is heriditarily recognizable by a pOTM if and only if it is an element of the mouse for one Woodin cardinal. This is joint work with Philipp Schlicht. This talk is part of the Isaac Newton Institute Seminar Series series. ## This talk is included in these lists:- All CMS events
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 1, Newton Institute
- bld31
Note that ex-directory lists are not shown. |
## Other listsCIBB2014 Amnesty - China Talks in Architecture## Other talksHydrogen-Deuterium Exchange Mass Spectrometry Evolution in island colonising birds: silvereyes of the south Pacific Transcriptional control of pluripotent stem cell fate by the Nucleosome Remodelling and Deacetylation (NuRD) complex Anti-scarring therapies for ocular fibrosis Cellular recycling: role of autophagy in aging and disease Designing Active Macroscopic Heat Engines |