{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:LLZGB6PA5QVLZPS4IJV5PPI6SW","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":"c3d7c551ea0a2507f363e06fc614586f46a28ee064c332ef8d09b772d02843b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-12-18T20:27:42Z","title_canon_sha256":"a8f138ae37154dff6a1b385135cbb356babc0adff9c490a70855fb75d1f79cbf"},"schema_version":"1.0","source":{"id":"1512.06101","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.06101","created_at":"2026-05-18T01:24:05Z"},{"alias_kind":"arxiv_version","alias_value":"1512.06101v1","created_at":"2026-05-18T01:24:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.06101","created_at":"2026-05-18T01:24:05Z"},{"alias_kind":"pith_short_12","alias_value":"LLZGB6PA5QVL","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_16","alias_value":"LLZGB6PA5QVLZPS4","created_at":"2026-05-18T12:29:29Z"},{"alias_kind":"pith_short_8","alias_value":"LLZGB6PA","created_at":"2026-05-18T12:29:29Z"}],"graph_snapshots":[{"event_id":"sha256:2445a1daa52f3bb81e7a30df307928298a3cb3ad3bbee57133ff014c6feb1c5a","target":"graph","created_at":"2026-05-18T01:24:05Z","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":"We call a subset of an ordinal $\\lambda$ recognizable if it is the unique subset $x$ of $\\lambda$ for which some Turing machine with ordinal time and tape, which halts for all subsets of $\\lambda$ as input, halts with the final state $0$. Equivalently, such a set is the unique subset $x$ which satisfies a given $\\Sigma_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.\n  (1) Computable sets are elements of $L$, while recognizable objects with infi","authors_text":"Merlin Carl, Philipp Schlicht, Philip Welch","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-12-18T20:27:42Z","title":"Recognizable sets and Woodin cardinals: Computation beyond the constructible universe"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.06101","kind":"arxiv","version":1},"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:082db4f1690f01a9a2e61d319b52127ce99a6afced0d1fcbc9886bfdb464ead5","target":"record","created_at":"2026-05-18T01:24:05Z","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":"c3d7c551ea0a2507f363e06fc614586f46a28ee064c332ef8d09b772d02843b6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2015-12-18T20:27:42Z","title_canon_sha256":"a8f138ae37154dff6a1b385135cbb356babc0adff9c490a70855fb75d1f79cbf"},"schema_version":"1.0","source":{"id":"1512.06101","kind":"arxiv","version":1}},"canonical_sha256":"5af260f9e0ec2abcbe5c426bd7bd1e959b99ec4bfb27b850cbcc4d9a179b41d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5af260f9e0ec2abcbe5c426bd7bd1e959b99ec4bfb27b850cbcc4d9a179b41d2","first_computed_at":"2026-05-18T01:24:05.321716Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:24:05.321716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UwBrZmVgyHSGChMczhEl08lJiI2sTUgsLF7sKCjHz5OdYXMHE2FhRYadyLPwVy3MgaqNspDAwxXkG2cPr3LQCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:24:05.322440Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.06101","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:082db4f1690f01a9a2e61d319b52127ce99a6afced0d1fcbc9886bfdb464ead5","sha256:2445a1daa52f3bb81e7a30df307928298a3cb3ad3bbee57133ff014c6feb1c5a"],"state_sha256":"0357922a39b9a8729a552337e14aa261584c8caa5d7daac794913f889e9425a0"}