Skip to content

Recognizable sets and Woodin cardinals: computation beyond the constructible universe

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)312-332
Number of pages21
JournalAnnals of Pure and Applied Logic
Volume169
Issue number4
Early online date13 Dec 2017
DOIs
DateAccepted/In press - 6 Dec 2017
DateE-pub ahead of print - 13 Dec 2017
DatePublished (current) - Apr 2018

Abstract

We call a subset of an ordinal λ recognizable if it is the unique subset x of λ for which some Turing machine with ordinal time and tape, which halts for all subsets of λ as input, halts with the final state 0. Equivalently, such a set is the unique subset x which satisfies a given Σ1 formula in L[x]. We prove several results about sets of ordinals recognizable from ordinal parameters by ordinal time Turing machines. Notably we show the following results from large cardinals.
(1) Computable sets are elements of L, while recognizable objects with infinite time computations appear up to the level of Woodin cardinals.
(2) A subset of a countable ordinal λ is in the recognizable closure for subsets of λ if and only if it is an element of M∞, where M∞ denotes the inner model obtained by iterating the least measure of M1 through the ordinals, and where the recognizable closure for subsets of λ is defined by closing under relative recognizability for subsets of λ.

    Research areas

  • Infinite time, Turing machines, Algorithmic randomness, Effective descriptive set theory, Woodin cardinals, Inner models

Download statistics

No data available

Documents

Documents

  • Full-text PDF (accepted author manuscript)

    Rights statement: This is the author accepted manuscript (AAM). The final published version (version of record) is available online via Elsevier at https://www.sciencedirect.com/science/article/pii/S0168007217301495 . Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 474 KB, PDF document

    Licence: CC BY-NC-ND

DOI

View research connections

Related faculties, schools or groups