{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:FZR2NAUBRX2IYEZIZGGH6ONAUE","short_pith_number":"pith:FZR2NAUB","schema_version":"1.0","canonical_sha256":"2e63a682818df48c1328c98c7f39a0a12505c4567fed2be194a2ba8fc1d297ee","source":{"kind":"arxiv","id":"1310.5656","version":3},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1310.5656","created_at":"2026-05-18T01:37:37.715353+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.5656v3","created_at":"2026-05-18T01:37:37.715353+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.5656","created_at":"2026-05-18T01:37:37.715353+00:00"},{"alias_kind":"pith_short_12","alias_value":"FZR2NAUBRX2I","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_16","alias_value":"FZR2NAUBRX2IYEZI","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_8","alias_value":"FZR2NAUB","created_at":"2026-05-18T12:27:45.050594+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/FZR2NAUBRX2IYEZIZGGH6ONAUE","json":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE.json","graph_json":"https://pith.science/api/pith-number/FZR2NAUBRX2IYEZIZGGH6ONAUE/graph.json","events_json":"https://pith.science/api/pith-number/FZR2NAUBRX2IYEZIZGGH6ONAUE/events.json","paper":"https://pith.science/paper/FZR2NAUB"},"agent_actions":{"view_html":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE","download_json":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE.json","view_paper":"https://pith.science/paper/FZR2NAUB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.5656&json=true","fetch_graph":"https://pith.science/api/pith-number/FZR2NAUBRX2IYEZIZGGH6ONAUE/graph.json","fetch_events":"https://pith.science/api/pith-number/FZR2NAUBRX2IYEZIZGGH6ONAUE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/action/storage_attestation","attest_author":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/action/author_attestation","sign_citation":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/action/citation_signature","submit_replication":"https://pith.science/pith/FZR2NAUBRX2IYEZIZGGH6ONAUE/action/replication_record"}},"created_at":"2026-05-18T01:37:37.715353+00:00","updated_at":"2026-05-18T01:37:37.715353+00:00"}