{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:F7QWQCA2AB6TZIDLTN4ROVQ7AC","short_pith_number":"pith:F7QWQCA2","schema_version":"1.0","canonical_sha256":"2fe168081a007d3ca06b9b7917561f00b88fb5584cba6f8ff187c89a8028bba6","source":{"kind":"arxiv","id":"1002.2800","version":2},"attestation_state":"computed","paper":{"title":"Closed Choice and a Uniform Low Basis Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Arno Pauly, Matthew de Brecht, Vasco Brattka","submitted_at":"2010-02-14T21:17:54Z","abstract_excerpt":"We study closed choice principles for different spaces. Given information about what does not constitute a solution, closed choice determines a solution. We show that with closed choice one can characterize several models of hypercomputation in a uniform framework using Weihrauch reducibility. The classes of functions which are reducible to closed choice of the singleton space, of the natural numbers, of Cantor space and of Baire space correspond to the class of computable functions, of functions computable with finitely many mind changes, of weakly computable functions and of effectively Bore"},"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":"1002.2800","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2010-02-14T21:17:54Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"be7d1ee7c8f0e617314a58a5e9c37183bc52fee6a9220eaaed7beaae2bd36c1e","abstract_canon_sha256":"67da152658c51a6bf1ab8bd61c1ba32af83114cdaf41ca3a042b111f54bc9edc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:53:32.059707Z","signature_b64":"p7wATqLxXmCStbnhMhySgYC8Iaf5q7GolNsyQ8RA/6Ubike03Nb5B64h+w/72aijFpnbcS61/XoDgle8nNh4Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2fe168081a007d3ca06b9b7917561f00b88fb5584cba6f8ff187c89a8028bba6","last_reissued_at":"2026-05-18T03:53:32.059004Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:53:32.059004Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Closed Choice and a Uniform Low Basis Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Arno Pauly, Matthew de Brecht, Vasco Brattka","submitted_at":"2010-02-14T21:17:54Z","abstract_excerpt":"We study closed choice principles for different spaces. Given information about what does not constitute a solution, closed choice determines a solution. We show that with closed choice one can characterize several models of hypercomputation in a uniform framework using Weihrauch reducibility. The classes of functions which are reducible to closed choice of the singleton space, of the natural numbers, of Cantor space and of Baire space correspond to the class of computable functions, of functions computable with finitely many mind changes, of weakly computable functions and of effectively Bore"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1002.2800","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1002.2800","created_at":"2026-05-18T03:53:32.059102+00:00"},{"alias_kind":"arxiv_version","alias_value":"1002.2800v2","created_at":"2026-05-18T03:53:32.059102+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1002.2800","created_at":"2026-05-18T03:53:32.059102+00:00"},{"alias_kind":"pith_short_12","alias_value":"F7QWQCA2AB6T","created_at":"2026-05-18T12:26:06.534383+00:00"},{"alias_kind":"pith_short_16","alias_value":"F7QWQCA2AB6TZIDL","created_at":"2026-05-18T12:26:06.534383+00:00"},{"alias_kind":"pith_short_8","alias_value":"F7QWQCA2","created_at":"2026-05-18T12:26:06.534383+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/F7QWQCA2AB6TZIDLTN4ROVQ7AC","json":"https://pith.science/pith/F7QWQCA2AB6TZIDLTN4ROVQ7AC.json","graph_json":"https://pith.science/api/pith-number/F7QWQCA2AB6TZIDLTN4ROVQ7AC/graph.json","events_json":"https://pith.science/api/pith-number/F7QWQCA2AB6TZIDLTN4ROVQ7AC/events.json","paper":"https://pith.science/paper/F7QWQCA2"},"agent_actions":{"view_html":"https://pith.science/pith/F7QWQCA2AB6TZIDLTN4ROVQ7AC","download_json":"https://pith.science/pith/F7QWQCA2AB6TZIDLTN4ROVQ7AC.json","view_paper":"https://pith.science/paper/F7QWQCA2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1002.2800&json=true","fetch_graph":"https://pith.science/api/pith-number/F7QWQCA2AB6TZIDLTN4ROVQ7AC/graph.json","fetch_events":"https://pith.science/api/pith-number/F7QWQCA2AB6TZIDLTN4ROVQ7AC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F7QWQCA2AB6TZIDLTN4ROVQ7AC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F7QWQCA2AB6TZIDLTN4ROVQ7AC/action/storage_attestation","attest_author":"https://pith.science/pith/F7QWQCA2AB6TZIDLTN4ROVQ7AC/action/author_attestation","sign_citation":"https://pith.science/pith/F7QWQCA2AB6TZIDLTN4ROVQ7AC/action/citation_signature","submit_replication":"https://pith.science/pith/F7QWQCA2AB6TZIDLTN4ROVQ7AC/action/replication_record"}},"created_at":"2026-05-18T03:53:32.059102+00:00","updated_at":"2026-05-18T03:53:32.059102+00:00"}