{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:FZR2NAUBRX2IYEZIZGGH6ONAUE","short_pith_number":"pith:FZR2NAUB","canonical_record":{"source":{"id":"1310.5656","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-21T17:42:33Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"486cbfe43c16b0292777c5e03b2bc69d8295239e0881db4de26457366e88747f","abstract_canon_sha256":"bd430a8cbc92756ce5e52de2f59bfee5b02d43fe9b03fe09d6b97844bc7e977b"},"schema_version":"1.0"},"canonical_sha256":"2e63a682818df48c1328c98c7f39a0a12505c4567fed2be194a2ba8fc1d297ee","source":{"kind":"arxiv","id":"1310.5656","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.5656","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"1310.5656v3","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.5656","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"FZR2NAUBRX2I","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FZR2NAUBRX2IYEZI","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FZR2NAUB","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:FZR2NAUBRX2IYEZIZGGH6ONAUE","target":"record","payload":{"canonical_record":{"source":{"id":"1310.5656","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-21T17:42:33Z","cross_cats_sorted":["math.LO"],"title_canon_sha256":"486cbfe43c16b0292777c5e03b2bc69d8295239e0881db4de26457366e88747f","abstract_canon_sha256":"bd430a8cbc92756ce5e52de2f59bfee5b02d43fe9b03fe09d6b97844bc7e977b"},"schema_version":"1.0"},"canonical_sha256":"2e63a682818df48c1328c98c7f39a0a12505c4567fed2be194a2ba8fc1d297ee","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:37.715953Z","signature_b64":"6Qg4vurCjyVKBdVgWujXQ9iMx1eJrWLl9ocs9ao35OJJBXbpK247VtPuTb3kAY4kLdmOJDVx1nrPStgBOKD2Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e63a682818df48c1328c98c7f39a0a12505c4567fed2be194a2ba8fc1d297ee","last_reissued_at":"2026-05-18T01:37:37.715230Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:37.715230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.5656","source_version":3,"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:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Hvz1Q3h1ob85NbZ9q23AEneiF3BpyxtZgLl6zA6Dy6r5o8iFECn8lfULffof9TYGIrX59a7G7ZdE5PRUfWVCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:16:09.455235Z"},"content_sha256":"fd18725450ea5c3b412642ebb955ad15e794c6cae75bf3bcb659e05cdcae8553","schema_version":"1.0","event_id":"sha256:fd18725450ea5c3b412642ebb955ad15e794c6cae75bf3bcb659e05cdcae8553"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:FZR2NAUBRX2IYEZIZGGH6ONAUE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Approximation systems for functions in topological and in metric spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO"],"primary_cat":"cs.LO","authors_text":"Bulgaria), Dimiter Skordev (Sofia University, Faculty of Mathematics, Informatics, Sofia","submitted_at":"2013-10-21T17:42:33Z","abstract_excerpt":"A notable feature of the TTE approach to computability is the representation of the argument values and the corresponding function values by means of infinitistic names. Two ways to eliminate the using of such names in certain cases are indicated in the paper. The first one is intended for the case of topological spaces with selected indexed denumerable bases. Suppose a partial function is given from one such space into another one whose selected base has a recursively enumerable index set, and suppose that the intersection of base open sets in the first space is computable in the sense of Wei"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.5656","kind":"arxiv","version":3},"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:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ie9YJrGx8cfDw0u6+TJD5xLB9BNWDo5rk5H/Akmc8KK3o0hbz/za6wO5vMKO2ZqGQVUDzdnr+vET/+Nj/bryAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:16:09.455924Z"},"content_sha256":"1287f503a7b33e3780f502ebd3fe1d963d29f1c7d05b42f0ed3b13be692505f5","schema_version":"1.0","event_id":"sha256:1287f503a7b33e3780f502ebd3fe1d963d29f1c7d05b42f0ed3b13be692505f5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/bundle.json","state_url":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/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-05T07:16:09Z","links":{"resolver":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE","bundle":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/bundle.json","state":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:FZR2NAUBRX2IYEZIZGGH6ONAUE","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":"bd430a8cbc92756ce5e52de2f59bfee5b02d43fe9b03fe09d6b97844bc7e977b","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-21T17:42:33Z","title_canon_sha256":"486cbfe43c16b0292777c5e03b2bc69d8295239e0881db4de26457366e88747f"},"schema_version":"1.0","source":{"id":"1310.5656","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.5656","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"1310.5656v3","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.5656","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"FZR2NAUBRX2I","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FZR2NAUBRX2IYEZI","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FZR2NAUB","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:1287f503a7b33e3780f502ebd3fe1d963d29f1c7d05b42f0ed3b13be692505f5","target":"graph","created_at":"2026-05-18T01:37:37Z","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 notable feature of the TTE approach to computability is the representation of the argument values and the corresponding function values by means of infinitistic names. Two ways to eliminate the using of such names in certain cases are indicated in the paper. The first one is intended for the case of topological spaces with selected indexed denumerable bases. Suppose a partial function is given from one such space into another one whose selected base has a recursively enumerable index set, and suppose that the intersection of base open sets in the first space is computable in the sense of Wei","authors_text":"Bulgaria), Dimiter Skordev (Sofia University, Faculty of Mathematics, Informatics, Sofia","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-21T17:42:33Z","title":"Approximation systems for functions in topological and in metric spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.5656","kind":"arxiv","version":3},"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:fd18725450ea5c3b412642ebb955ad15e794c6cae75bf3bcb659e05cdcae8553","target":"record","created_at":"2026-05-18T01:37:37Z","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":"bd430a8cbc92756ce5e52de2f59bfee5b02d43fe9b03fe09d6b97844bc7e977b","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-21T17:42:33Z","title_canon_sha256":"486cbfe43c16b0292777c5e03b2bc69d8295239e0881db4de26457366e88747f"},"schema_version":"1.0","source":{"id":"1310.5656","kind":"arxiv","version":3}},"canonical_sha256":"2e63a682818df48c1328c98c7f39a0a12505c4567fed2be194a2ba8fc1d297ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e63a682818df48c1328c98c7f39a0a12505c4567fed2be194a2ba8fc1d297ee","first_computed_at":"2026-05-18T01:37:37.715230Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:37.715230Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6Qg4vurCjyVKBdVgWujXQ9iMx1eJrWLl9ocs9ao35OJJBXbpK247VtPuTb3kAY4kLdmOJDVx1nrPStgBOKD2Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:37.715953Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.5656","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd18725450ea5c3b412642ebb955ad15e794c6cae75bf3bcb659e05cdcae8553","sha256:1287f503a7b33e3780f502ebd3fe1d963d29f1c7d05b42f0ed3b13be692505f5"],"state_sha256":"53e12a6625eb6388bce3e6b67afecb50b840fabf6843b704c8c805b262065eca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hWtgDe/2QeHApQXXr9WPcdasJecU0WWr7l/oc52gJIjFSlwPWqXbJ0H0VYmNd0/CvPWI1PGj2zWNl4qdPYNrAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T07:16:09.459291Z","bundle_sha256":"4bc25b1e8fdfd919a34828a1bb8ca6f3681d7d74d089cf2e7ca6b506cd7f3b74"}}