{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2009:AUKG52DIPRS3YIIWS4G24PD7U6","short_pith_number":"pith:AUKG52DI","schema_version":"1.0","canonical_sha256":"05146ee8687c65bc2116970dae3c7fa79b1ada51d40cb6bb4f989e5f841e23fc","source":{"kind":"arxiv","id":"0905.4685","version":4},"attestation_state":"computed","paper":{"title":"Effective Choice and Boundedness Principles in Computable Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Guido Gherardi, Vasco Brattka","submitted_at":"2009-05-28T15:50:57Z","abstract_excerpt":"In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this purpose theorems are considered via their realizers which are operations with certain input and output data. The technical tool to express continuous or computable relations between such operations is Weihrauch reducibility and the partially ordered degree structure induced by it. We have identified certain choice principles which are cornerstones among Weihr"},"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":"0905.4685","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2009-05-28T15:50:57Z","cross_cats_sorted":[],"title_canon_sha256":"b12cb1eca6867b1232794e05354c1d6de3e583130bdff296ddfc6396226e09e1","abstract_canon_sha256":"6e7936eac0fdb1e55390b42c727108efe628fa31ca3eb11a064145bea73fb594"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:32:00.801390Z","signature_b64":"7eZ7PqWKUpv15gbC/ovm9yJ7FmwSdGHNST9oY7bOqfSpaLsiC+GMb4FZ4d6qDqd+08pYl8fif+b0rP9lllafCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"05146ee8687c65bc2116970dae3c7fa79b1ada51d40cb6bb4f989e5f841e23fc","last_reissued_at":"2026-05-18T04:32:00.800806Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:32:00.800806Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Effective Choice and Boundedness Principles in Computable Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Guido Gherardi, Vasco Brattka","submitted_at":"2009-05-28T15:50:57Z","abstract_excerpt":"In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this purpose theorems are considered via their realizers which are operations with certain input and output data. The technical tool to express continuous or computable relations between such operations is Weihrauch reducibility and the partially ordered degree structure induced by it. We have identified certain choice principles which are cornerstones among Weihr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0905.4685","kind":"arxiv","version":4},"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":"0905.4685","created_at":"2026-05-18T04:32:00.800894+00:00"},{"alias_kind":"arxiv_version","alias_value":"0905.4685v4","created_at":"2026-05-18T04:32:00.800894+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0905.4685","created_at":"2026-05-18T04:32:00.800894+00:00"},{"alias_kind":"pith_short_12","alias_value":"AUKG52DIPRS3","created_at":"2026-05-18T12:25:58.837520+00:00"},{"alias_kind":"pith_short_16","alias_value":"AUKG52DIPRS3YIIW","created_at":"2026-05-18T12:25:58.837520+00:00"},{"alias_kind":"pith_short_8","alias_value":"AUKG52DI","created_at":"2026-05-18T12:25:58.837520+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/AUKG52DIPRS3YIIWS4G24PD7U6","json":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6.json","graph_json":"https://pith.science/api/pith-number/AUKG52DIPRS3YIIWS4G24PD7U6/graph.json","events_json":"https://pith.science/api/pith-number/AUKG52DIPRS3YIIWS4G24PD7U6/events.json","paper":"https://pith.science/paper/AUKG52DI"},"agent_actions":{"view_html":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6","download_json":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6.json","view_paper":"https://pith.science/paper/AUKG52DI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0905.4685&json=true","fetch_graph":"https://pith.science/api/pith-number/AUKG52DIPRS3YIIWS4G24PD7U6/graph.json","fetch_events":"https://pith.science/api/pith-number/AUKG52DIPRS3YIIWS4G24PD7U6/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6/action/storage_attestation","attest_author":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6/action/author_attestation","sign_citation":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6/action/citation_signature","submit_replication":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6/action/replication_record"}},"created_at":"2026-05-18T04:32:00.800894+00:00","updated_at":"2026-05-18T04:32:00.800894+00:00"}