KOPS - The Institutional Repository of the University of Konstanz

# Optimal results on ITRM-recognizability

## Files in this item

Checksum: MD5:dee3ea702bf082834d04a46108326284

CARL, Merlin, 2013. Optimal results on ITRM-recognizability

@unpublished{Carl2013Optim-25580, title={Optimal results on ITRM-recognizability}, year={2013}, author={Carl, Merlin} }

Optimal results on ITRM-recognizability terms-of-use 2014-01-11T13:36:47Z Carl, Merlin 2014-01-11T13:36:47Z Exploring further the properties of ITRM-recognizable reals, we provide a detailed analysis of recognizable reals and their distribution in Gödels constructible universe L.<br />In particular, we show that new unrecognizables are generated at every index $\gamma\geq\omega_{\omega}^{CK}$. We give a machine-independent characterization of recognizability by proving that a real $r$ is recognizable iff it is $\Sigma_{1}$-definable over $L_{\omega_{\omega}^{CK,r}}$<br />and that $r\in L_{\omega_{\omega}^{CK,r}}$ for every recognizable real $r$ and show that either every or no $r$ with $r\in L_{\omega_{\omega}^{CK,r}}$ generated over an index stage $L_{\gamma}$ is recognizable. Finally, the techniques developed along the way allow us to prove that the halting number for<br />$ITRM$s is recognizable and that the set of $ITRM$-computable reals is not $ITRM$-decidable. 2013 Carl, Merlin eng

 Carl_255802.pdf 140
{"ft_lang_label":"__label__en","ft_lang_prob":0.6427009,"math_prob":0.93233895,"size":1351,"snap":"2020-24-2020-29","text_gpt3_token_len":399,"char_repetition_ratio":0.14179659,"word_repetition_ratio":0.0,"special_character_ratio":0.27979276,"punctuation_ratio":0.14754099,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9723121,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-07-07T12:40:35Z\",\"WARC-Record-ID\":\"<urn:uuid:24250326-bb42-4a0f-8fee-edbb63e29cf2>\",\"Content-Length\":\"28182\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:eb7c0757-0cdd-47d1-85f1-69d004376231>\",\"WARC-Concurrent-To\":\"<urn:uuid:42dfafe9-1345-4540-9eda-4acbf85eaf28>\",\"WARC-IP-Address\":\"134.34.33.26\",\"WARC-Target-URI\":\"https://kops.uni-konstanz.de/handle/123456789/25580\",\"WARC-Payload-Digest\":\"sha1:AK3YDS3T6627LJ2TE42D5CMO2VLLH6AT\",\"WARC-Block-Digest\":\"sha1:ERR3S3KASITBHOC5FZITXO24VLNWXLDB\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-29/CC-MAIN-2020-29_segments_1593655892516.24_warc_CC-MAIN-20200707111607-20200707141607-00071.warc.gz\"}"}