{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:2MMRCYRHN7CEQBWXO2OBFIYBBQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5d319ead5eccfad63ab49750521bab4ef4dc190db8e1f38e5d9d776a55c6e64f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-14T12:40:47Z","title_canon_sha256":"427ed3aff10e14fafa0635abc30f0a82f916c18700c896cfe6fede83e8dc2b38"},"schema_version":"1.0","source":{"id":"1407.3624","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.3624","created_at":"2026-05-18T02:23:26Z"},{"alias_kind":"arxiv_version","alias_value":"1407.3624v5","created_at":"2026-05-18T02:23:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.3624","created_at":"2026-05-18T02:23:26Z"},{"alias_kind":"pith_short_12","alias_value":"2MMRCYRHN7CE","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"2MMRCYRHN7CEQBWX","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"2MMRCYRH","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:c0923af8fbfd1461a2c4b7e8f0d24a0607902655af26dd26c8491aa378db8398","target":"graph","created_at":"2026-05-18T02:23:26Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"A typical phenomenon for machine models of transfinite computations is the existence of so-called lost melodies, i.e. real numbers $x$ such that the characteristic function of the set $\\{x\\}$ is computable while $x$ itself is not (a real having the first property is called recognizable). This was first observed by J. D. Hamkins and A. Lewis for infinite time Turing machine, then demonstrated by P. Koepke and the author for $ITRM$s. We prove that, for unresetting infinite time register machines introduced by P. Koepke, recognizability equals computability, i.e. the lost melody phenomenon does n","authors_text":"Merlin Carl","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-14T12:40:47Z","title":"The Lost Melody Phenomenon"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.3624","kind":"arxiv","version":5},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1584585944e7740084ca3148f271b8162320974637298d67a06cd18f8a0dff9e","target":"record","created_at":"2026-05-18T02:23:26Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5d319ead5eccfad63ab49750521bab4ef4dc190db8e1f38e5d9d776a55c6e64f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-07-14T12:40:47Z","title_canon_sha256":"427ed3aff10e14fafa0635abc30f0a82f916c18700c896cfe6fede83e8dc2b38"},"schema_version":"1.0","source":{"id":"1407.3624","kind":"arxiv","version":5}},"canonical_sha256":"d3191162276fc44806d7769c12a3010c1ec85ee487128c53a3f175e8cb16a5d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d3191162276fc44806d7769c12a3010c1ec85ee487128c53a3f175e8cb16a5d5","first_computed_at":"2026-05-18T02:23:26.968974Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:23:26.968974Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dymxEy2uVjS/ftOZ5DwNdluCoAnlCY2rMvYz92Uup1nCbhOGpiLGCv/OPui58JLPvNJhKoZhkmHcRpDEkwI9AA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:23:26.969691Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.3624","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1584585944e7740084ca3148f271b8162320974637298d67a06cd18f8a0dff9e","sha256:c0923af8fbfd1461a2c4b7e8f0d24a0607902655af26dd26c8491aa378db8398"],"state_sha256":"9117f5074b2d7636aef91b8e5f68ddfdff509e0aef70055baa88a37c2e0b0aac"}