{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:YOY6EZ73WVT4M3BBOKFEREZJ4D","short_pith_number":"pith:YOY6EZ73","canonical_record":{"source":{"id":"1602.07509","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-02-24T14:00:45Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dd1009f091ec21be381be7eacb76f833843a04e1b736bd551a647caf745845ff","abstract_canon_sha256":"c74c51d79253cef15d476254cf33dbac5de26963df9ed1c32718eaff29f1b015"},"schema_version":"1.0"},"canonical_sha256":"c3b1e267fbb567c66c21728a489329e0cea98e6121bd92f4a0d4c8093da8c839","source":{"kind":"arxiv","id":"1602.07509","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.07509","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"arxiv_version","alias_value":"1602.07509v2","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.07509","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"pith_short_12","alias_value":"YOY6EZ73WVT4","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YOY6EZ73WVT4M3BB","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YOY6EZ73","created_at":"2026-05-18T12:30:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:YOY6EZ73WVT4M3BBOKFEREZJ4D","target":"record","payload":{"canonical_record":{"source":{"id":"1602.07509","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-02-24T14:00:45Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"dd1009f091ec21be381be7eacb76f833843a04e1b736bd551a647caf745845ff","abstract_canon_sha256":"c74c51d79253cef15d476254cf33dbac5de26963df9ed1c32718eaff29f1b015"},"schema_version":"1.0"},"canonical_sha256":"c3b1e267fbb567c66c21728a489329e0cea98e6121bd92f4a0d4c8093da8c839","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:17.588030Z","signature_b64":"YeS15mfh9dONTiEbIfPuNSxcSwAI6AjMvn+bOKxJhadQjx/bnFRvIhK08Sd48NMYnvP/vQzo6kYXXDdV2YZjBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3b1e267fbb567c66c21728a489329e0cea98e6121bd92f4a0d4c8093da8c839","last_reissued_at":"2026-05-18T01:11:17.587585Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:17.587585Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.07509","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XdZTEsVInTQTpH27kmJwv2uOSraTUHI0yefXWPJH5KHlXQOvUZf5CubBvUJhZtdz+I4g0eQ6bU773RTBBUPoBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T18:24:24.964672Z"},"content_sha256":"674769c58c54ae1f2b1f4439e9afdebc466159aaa2708ab0654792910eb3f990","schema_version":"1.0","event_id":"sha256:674769c58c54ae1f2b1f4439e9afdebc466159aaa2708ab0654792910eb3f990"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:YOY6EZ73WVT4M3BBOKFEREZJ4D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computability and Analysis, a Historical Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Vasco Brattka","submitted_at":"2016-02-24T14:00:45Z","abstract_excerpt":"The history of computability theory and and the history of analysis are surprisingly intertwined since the beginning of the twentieth century. For one, \\'Emil Borel discussed his ideas on computable real number functions in his introduction to measure theory. On the other hand, Alan Turing had computable real numbers in mind when he introduced his now famous machine model. Here we want to focus on a particular aspect of computability and analysis, namely on computability properties of theorems from analysis. This is a topic that emerged already in early work of Turing, Specker and other pionee"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.07509","kind":"arxiv","version":2},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2wNwPG70+MVLJY5cs0mGW3NyXmlnY6t7xy42jh7wOrsg/LwXb6c+AoZvlsmxw19iJie2Mblsmn30oNkBFElGAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T18:24:24.965019Z"},"content_sha256":"ae8cf1d5f938ad8c3a9731f27658f915922c4407d9b481a886820f13f9cf165f","schema_version":"1.0","event_id":"sha256:ae8cf1d5f938ad8c3a9731f27658f915922c4407d9b481a886820f13f9cf165f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YOY6EZ73WVT4M3BBOKFEREZJ4D/bundle.json","state_url":"https://pith.science/pith/YOY6EZ73WVT4M3BBOKFEREZJ4D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YOY6EZ73WVT4M3BBOKFEREZJ4D/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-24T18:24:24Z","links":{"resolver":"https://pith.science/pith/YOY6EZ73WVT4M3BBOKFEREZJ4D","bundle":"https://pith.science/pith/YOY6EZ73WVT4M3BBOKFEREZJ4D/bundle.json","state":"https://pith.science/pith/YOY6EZ73WVT4M3BBOKFEREZJ4D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YOY6EZ73WVT4M3BBOKFEREZJ4D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:YOY6EZ73WVT4M3BBOKFEREZJ4D","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":"c74c51d79253cef15d476254cf33dbac5de26963df9ed1c32718eaff29f1b015","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-02-24T14:00:45Z","title_canon_sha256":"dd1009f091ec21be381be7eacb76f833843a04e1b736bd551a647caf745845ff"},"schema_version":"1.0","source":{"id":"1602.07509","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.07509","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"arxiv_version","alias_value":"1602.07509v2","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.07509","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"pith_short_12","alias_value":"YOY6EZ73WVT4","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YOY6EZ73WVT4M3BB","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YOY6EZ73","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:ae8cf1d5f938ad8c3a9731f27658f915922c4407d9b481a886820f13f9cf165f","target":"graph","created_at":"2026-05-18T01:11:17Z","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":"The history of computability theory and and the history of analysis are surprisingly intertwined since the beginning of the twentieth century. For one, \\'Emil Borel discussed his ideas on computable real number functions in his introduction to measure theory. On the other hand, Alan Turing had computable real numbers in mind when he introduced his now famous machine model. Here we want to focus on a particular aspect of computability and analysis, namely on computability properties of theorems from analysis. This is a topic that emerged already in early work of Turing, Specker and other pionee","authors_text":"Vasco Brattka","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-02-24T14:00:45Z","title":"Computability and Analysis, a Historical Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.07509","kind":"arxiv","version":2},"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:674769c58c54ae1f2b1f4439e9afdebc466159aaa2708ab0654792910eb3f990","target":"record","created_at":"2026-05-18T01:11:17Z","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":"c74c51d79253cef15d476254cf33dbac5de26963df9ed1c32718eaff29f1b015","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-02-24T14:00:45Z","title_canon_sha256":"dd1009f091ec21be381be7eacb76f833843a04e1b736bd551a647caf745845ff"},"schema_version":"1.0","source":{"id":"1602.07509","kind":"arxiv","version":2}},"canonical_sha256":"c3b1e267fbb567c66c21728a489329e0cea98e6121bd92f4a0d4c8093da8c839","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3b1e267fbb567c66c21728a489329e0cea98e6121bd92f4a0d4c8093da8c839","first_computed_at":"2026-05-18T01:11:17.587585Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:17.587585Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YeS15mfh9dONTiEbIfPuNSxcSwAI6AjMvn+bOKxJhadQjx/bnFRvIhK08Sd48NMYnvP/vQzo6kYXXDdV2YZjBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:17.588030Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.07509","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:674769c58c54ae1f2b1f4439e9afdebc466159aaa2708ab0654792910eb3f990","sha256:ae8cf1d5f938ad8c3a9731f27658f915922c4407d9b481a886820f13f9cf165f"],"state_sha256":"a3f2e5d2a500b2bc56c5a8824489ea497a9ddc05c3e5da49ffc8aa5a7f4a756d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y17wkToxLwCjtwN7NKLYywjKF6gMqBfndoAd17qxX9FGjZ0WrlLyqT1YYhQWHYkdTwrsBanFYcC7SK8i0Bb/DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T18:24:24.966966Z","bundle_sha256":"72a8996736396608c6766b2ae7304cfb418e38a2276eb3ce8dd7114de2c66634"}}