{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:AUKG52DIPRS3YIIWS4G24PD7U6","short_pith_number":"pith:AUKG52DI","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"},"canonical_sha256":"05146ee8687c65bc2116970dae3c7fa79b1ada51d40cb6bb4f989e5f841e23fc","source":{"kind":"arxiv","id":"0905.4685","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0905.4685","created_at":"2026-05-18T04:32:00Z"},{"alias_kind":"arxiv_version","alias_value":"0905.4685v4","created_at":"2026-05-18T04:32:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0905.4685","created_at":"2026-05-18T04:32:00Z"},{"alias_kind":"pith_short_12","alias_value":"AUKG52DIPRS3","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"AUKG52DIPRS3YIIW","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"AUKG52DI","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:AUKG52DIPRS3YIIWS4G24PD7U6","target":"record","payload":{"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"},"canonical_sha256":"05146ee8687c65bc2116970dae3c7fa79b1ada51d40cb6bb4f989e5f841e23fc","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"},"source_kind":"arxiv","source_id":"0905.4685","source_version":4,"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-18T04:32:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RzRIkDIwdh7Q7IAX1kL4FUTvrcT67CMhMb9B6/ywYUwtlKsxevzAVqU2rLXNQsOFWrRu34S3XQeOWE7tbBwrAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T18:23:07.038663Z"},"content_sha256":"e515fa93252509c93b52680acf790eff8d347c4c46b722274990e6f06fdca2bc","schema_version":"1.0","event_id":"sha256:e515fa93252509c93b52680acf790eff8d347c4c46b722274990e6f06fdca2bc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:AUKG52DIPRS3YIIWS4G24PD7U6","target":"graph","payload":{"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"},"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-18T04:32:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ee7YCE918sme54Ab4KdQcpAdQkEdZaDDC3RIIBgWGLAewEPQiTNDzOWzApX7OBkTx27TmbTrXi3bXtwI6M3HBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T18:23:07.039001Z"},"content_sha256":"62b8a04d903a1817b7057b832a7906cf31258fe5ac1ef9a4bffb9906b76eddb9","schema_version":"1.0","event_id":"sha256:62b8a04d903a1817b7057b832a7906cf31258fe5ac1ef9a4bffb9906b76eddb9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6/bundle.json","state_url":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AUKG52DIPRS3YIIWS4G24PD7U6/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:23:07Z","links":{"resolver":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6","bundle":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6/bundle.json","state":"https://pith.science/pith/AUKG52DIPRS3YIIWS4G24PD7U6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AUKG52DIPRS3YIIWS4G24PD7U6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:AUKG52DIPRS3YIIWS4G24PD7U6","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":"6e7936eac0fdb1e55390b42c727108efe628fa31ca3eb11a064145bea73fb594","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2009-05-28T15:50:57Z","title_canon_sha256":"b12cb1eca6867b1232794e05354c1d6de3e583130bdff296ddfc6396226e09e1"},"schema_version":"1.0","source":{"id":"0905.4685","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0905.4685","created_at":"2026-05-18T04:32:00Z"},{"alias_kind":"arxiv_version","alias_value":"0905.4685v4","created_at":"2026-05-18T04:32:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0905.4685","created_at":"2026-05-18T04:32:00Z"},{"alias_kind":"pith_short_12","alias_value":"AUKG52DIPRS3","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"AUKG52DIPRS3YIIW","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"AUKG52DI","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:62b8a04d903a1817b7057b832a7906cf31258fe5ac1ef9a4bffb9906b76eddb9","target":"graph","created_at":"2026-05-18T04:32:00Z","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":"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","authors_text":"Guido Gherardi, Vasco Brattka","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2009-05-28T15:50:57Z","title":"Effective Choice and Boundedness Principles in Computable Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0905.4685","kind":"arxiv","version":4},"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:e515fa93252509c93b52680acf790eff8d347c4c46b722274990e6f06fdca2bc","target":"record","created_at":"2026-05-18T04:32:00Z","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":"6e7936eac0fdb1e55390b42c727108efe628fa31ca3eb11a064145bea73fb594","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2009-05-28T15:50:57Z","title_canon_sha256":"b12cb1eca6867b1232794e05354c1d6de3e583130bdff296ddfc6396226e09e1"},"schema_version":"1.0","source":{"id":"0905.4685","kind":"arxiv","version":4}},"canonical_sha256":"05146ee8687c65bc2116970dae3c7fa79b1ada51d40cb6bb4f989e5f841e23fc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"05146ee8687c65bc2116970dae3c7fa79b1ada51d40cb6bb4f989e5f841e23fc","first_computed_at":"2026-05-18T04:32:00.800806Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:32:00.800806Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7eZ7PqWKUpv15gbC/ovm9yJ7FmwSdGHNST9oY7bOqfSpaLsiC+GMb4FZ4d6qDqd+08pYl8fif+b0rP9lllafCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:32:00.801390Z","signed_message":"canonical_sha256_bytes"},"source_id":"0905.4685","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e515fa93252509c93b52680acf790eff8d347c4c46b722274990e6f06fdca2bc","sha256:62b8a04d903a1817b7057b832a7906cf31258fe5ac1ef9a4bffb9906b76eddb9"],"state_sha256":"f81ebc2c519ede68f75b47861f33a4296976af3b919b21d8fb6a6ad2d3b6cb76"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j8lhsyuKFxAjcZFs3T9QXDCOXPdZocsSPfl3mDTMwI7TlKLSLrQ6p1g7We4gxa+QwQ/527rq7UW4ZnJv7ExrAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T18:23:07.041009Z","bundle_sha256":"13f04ba69db5ce4a37b10a7a455d722e576fad75abc3465eef987167722d8e0e"}}