{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:CES7BU3ZLSY3SMWJGEVHXTLCLX","short_pith_number":"pith:CES7BU3Z","schema_version":"1.0","canonical_sha256":"1125f0d3795cb1b932c9312a7bcd625ddd9fff3c5467aff6b8461506f2f9192d","source":{"kind":"arxiv","id":"1306.5128","version":1},"attestation_state":"computed","paper":{"title":"Optimal Results on ITRM-recognizability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Merlin Carl","submitted_at":"2013-06-21T13:19:17Z","abstract_excerpt":"Exploring further the properties of ITRM-recognizable reals, we provide a detailed analysis of recognizable reals and their distribution in G\\\"odels constructible universe L. In particular, we show that, for unresetting infinite time register machines, the recognizable reals coincide with the computable reals and that, for ITRMs, unrecognizables are generated at every index bigger than the first limit of admissibles. We show that a real r is recognizable iff it is $\\Sigma_{1}$-definable over $L_{\\omega_{\\omega}^{CK,r}}$, that $r\\in L_{\\omega_{\\omega}^{CK,r}}$ for every recognizable real $r$ an"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1306.5128","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-06-21T13:19:17Z","cross_cats_sorted":[],"title_canon_sha256":"5bda121361508dd0cf4d7a2319371c22cf9ed80d4803dcf5e1380ef76d152ab0","abstract_canon_sha256":"82e4b0913fec83a13b4a5ae332ad15e81e590fb51489661f93961127a0d678b8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:20:19.655873Z","signature_b64":"XBxUcFscSfrp3AepaVikLidgb1v79GRr5Omxz7Hnkp+TSDLXSMCdXpFzHuao8lfzzE9b1/CFSUQqhwjvu8ufCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1125f0d3795cb1b932c9312a7bcd625ddd9fff3c5467aff6b8461506f2f9192d","last_reissued_at":"2026-05-18T03:20:19.655132Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:20:19.655132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Optimal Results on ITRM-recognizability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Merlin Carl","submitted_at":"2013-06-21T13:19:17Z","abstract_excerpt":"Exploring further the properties of ITRM-recognizable reals, we provide a detailed analysis of recognizable reals and their distribution in G\\\"odels constructible universe L. In particular, we show that, for unresetting infinite time register machines, the recognizable reals coincide with the computable reals and that, for ITRMs, unrecognizables are generated at every index bigger than the first limit of admissibles. We show that a real r is recognizable iff it is $\\Sigma_{1}$-definable over $L_{\\omega_{\\omega}^{CK,r}}$, that $r\\in L_{\\omega_{\\omega}^{CK,r}}$ for every recognizable real $r$ an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1306.5128","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1306.5128","created_at":"2026-05-18T03:20:19.655251+00:00"},{"alias_kind":"arxiv_version","alias_value":"1306.5128v1","created_at":"2026-05-18T03:20:19.655251+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1306.5128","created_at":"2026-05-18T03:20:19.655251+00:00"},{"alias_kind":"pith_short_12","alias_value":"CES7BU3ZLSY3","created_at":"2026-05-18T12:27:40.988391+00:00"},{"alias_kind":"pith_short_16","alias_value":"CES7BU3ZLSY3SMWJ","created_at":"2026-05-18T12:27:40.988391+00:00"},{"alias_kind":"pith_short_8","alias_value":"CES7BU3Z","created_at":"2026-05-18T12:27:40.988391+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CES7BU3ZLSY3SMWJGEVHXTLCLX","json":"https://pith.science/pith/CES7BU3ZLSY3SMWJGEVHXTLCLX.json","graph_json":"https://pith.science/api/pith-number/CES7BU3ZLSY3SMWJGEVHXTLCLX/graph.json","events_json":"https://pith.science/api/pith-number/CES7BU3ZLSY3SMWJGEVHXTLCLX/events.json","paper":"https://pith.science/paper/CES7BU3Z"},"agent_actions":{"view_html":"https://pith.science/pith/CES7BU3ZLSY3SMWJGEVHXTLCLX","download_json":"https://pith.science/pith/CES7BU3ZLSY3SMWJGEVHXTLCLX.json","view_paper":"https://pith.science/paper/CES7BU3Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1306.5128&json=true","fetch_graph":"https://pith.science/api/pith-number/CES7BU3ZLSY3SMWJGEVHXTLCLX/graph.json","fetch_events":"https://pith.science/api/pith-number/CES7BU3ZLSY3SMWJGEVHXTLCLX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CES7BU3ZLSY3SMWJGEVHXTLCLX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CES7BU3ZLSY3SMWJGEVHXTLCLX/action/storage_attestation","attest_author":"https://pith.science/pith/CES7BU3ZLSY3SMWJGEVHXTLCLX/action/author_attestation","sign_citation":"https://pith.science/pith/CES7BU3ZLSY3SMWJGEVHXTLCLX/action/citation_signature","submit_replication":"https://pith.science/pith/CES7BU3ZLSY3SMWJGEVHXTLCLX/action/replication_record"}},"created_at":"2026-05-18T03:20:19.655251+00:00","updated_at":"2026-05-18T03:20:19.655251+00:00"}