{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:ABKRZGKXLZOV6O5SCQ46E5OCM2","short_pith_number":"pith:ABKRZGKX","canonical_record":{"source":{"id":"1210.6298","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-23T17:22:41Z","cross_cats_sorted":[],"title_canon_sha256":"58cb136244706f5046f673f6d68302ab2713ed69400ba7c272aabe5085b4d61c","abstract_canon_sha256":"5c67b1b3fc86c4546fbbfe521df291a2b4b764166d4155ab8a84aae35f1fc43a"},"schema_version":"1.0"},"canonical_sha256":"00551c99575e5d5f3bb21439e275c2668cbc57549e35d8dcb80a77be10306dad","source":{"kind":"arxiv","id":"1210.6298","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.6298","created_at":"2026-05-18T03:09:34Z"},{"alias_kind":"arxiv_version","alias_value":"1210.6298v1","created_at":"2026-05-18T03:09:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.6298","created_at":"2026-05-18T03:09:34Z"},{"alias_kind":"pith_short_12","alias_value":"ABKRZGKXLZOV","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"ABKRZGKXLZOV6O5S","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"ABKRZGKX","created_at":"2026-05-18T12:26:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:ABKRZGKXLZOV6O5SCQ46E5OCM2","target":"record","payload":{"canonical_record":{"source":{"id":"1210.6298","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-23T17:22:41Z","cross_cats_sorted":[],"title_canon_sha256":"58cb136244706f5046f673f6d68302ab2713ed69400ba7c272aabe5085b4d61c","abstract_canon_sha256":"5c67b1b3fc86c4546fbbfe521df291a2b4b764166d4155ab8a84aae35f1fc43a"},"schema_version":"1.0"},"canonical_sha256":"00551c99575e5d5f3bb21439e275c2668cbc57549e35d8dcb80a77be10306dad","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:34.017933Z","signature_b64":"WQm0Cbq5PMwGpTQEngjl7vGBTHb7gEP5+cQEYVnpTv4OfkU/afuJSzGilvr3aa7kHGmLmQ76cJ+yaK+AixOuAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"00551c99575e5d5f3bb21439e275c2668cbc57549e35d8dcb80a77be10306dad","last_reissued_at":"2026-05-18T03:09:34.017109Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:34.017109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1210.6298","source_version":1,"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-18T03:09:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/WcS/zKkpkdS0ezQTb1a1KBv2hMn1+dGG8/bLl5ty4IYYxZQk21taom47fnfs2WtMRAQwG1akg9BT9Bfq+hAAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T13:50:51.391785Z"},"content_sha256":"83c66c669171b3ac6e1f4a87024e9615c7a0068a1bd0bb495a0f284ce1ca1ebd","schema_version":"1.0","event_id":"sha256:83c66c669171b3ac6e1f4a87024e9615c7a0068a1bd0bb495a0f284ce1ca1ebd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:ABKRZGKXLZOV6O5SCQ46E5OCM2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conditional computability of real functions with respect to a class of operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Dimiter Skordev, Ivan Georgiev","submitted_at":"2012-10-23T17:22:41Z","abstract_excerpt":"For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect to this class. These two computability notions are natural generalizations of certain notions introduced in a previous paper co-authored by Andreas Weiermann and in another previous paper by the same authors, respectively. Under certain weak assumptions about the class in question, we show that conditional computability is preserved by substitution, that all"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.6298","kind":"arxiv","version":1},"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-18T03:09:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UuiViWZd21olks9tVqRho9ypaW5VQ407xirBS8OBQpf3CHrQ2s1Gnv/JzmkYKlfvp9LabmUiUfqrIn24hDmwDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T13:50:51.392149Z"},"content_sha256":"d92c472686a67e9c91c0e9a6d39f2df478b6e8c3019d51b20cd7c7e40252d956","schema_version":"1.0","event_id":"sha256:d92c472686a67e9c91c0e9a6d39f2df478b6e8c3019d51b20cd7c7e40252d956"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ABKRZGKXLZOV6O5SCQ46E5OCM2/bundle.json","state_url":"https://pith.science/pith/ABKRZGKXLZOV6O5SCQ46E5OCM2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ABKRZGKXLZOV6O5SCQ46E5OCM2/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-07-07T13:50:51Z","links":{"resolver":"https://pith.science/pith/ABKRZGKXLZOV6O5SCQ46E5OCM2","bundle":"https://pith.science/pith/ABKRZGKXLZOV6O5SCQ46E5OCM2/bundle.json","state":"https://pith.science/pith/ABKRZGKXLZOV6O5SCQ46E5OCM2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ABKRZGKXLZOV6O5SCQ46E5OCM2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:ABKRZGKXLZOV6O5SCQ46E5OCM2","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":"5c67b1b3fc86c4546fbbfe521df291a2b4b764166d4155ab8a84aae35f1fc43a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-23T17:22:41Z","title_canon_sha256":"58cb136244706f5046f673f6d68302ab2713ed69400ba7c272aabe5085b4d61c"},"schema_version":"1.0","source":{"id":"1210.6298","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1210.6298","created_at":"2026-05-18T03:09:34Z"},{"alias_kind":"arxiv_version","alias_value":"1210.6298v1","created_at":"2026-05-18T03:09:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1210.6298","created_at":"2026-05-18T03:09:34Z"},{"alias_kind":"pith_short_12","alias_value":"ABKRZGKXLZOV","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"ABKRZGKXLZOV6O5S","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"ABKRZGKX","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:d92c472686a67e9c91c0e9a6d39f2df478b6e8c3019d51b20cd7c7e40252d956","target":"graph","created_at":"2026-05-18T03:09:34Z","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":"For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect to this class. These two computability notions are natural generalizations of certain notions introduced in a previous paper co-authored by Andreas Weiermann and in another previous paper by the same authors, respectively. Under certain weak assumptions about the class in question, we show that conditional computability is preserved by substitution, that all","authors_text":"Dimiter Skordev, Ivan Georgiev","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-23T17:22:41Z","title":"Conditional computability of real functions with respect to a class of operators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1210.6298","kind":"arxiv","version":1},"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:83c66c669171b3ac6e1f4a87024e9615c7a0068a1bd0bb495a0f284ce1ca1ebd","target":"record","created_at":"2026-05-18T03:09:34Z","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":"5c67b1b3fc86c4546fbbfe521df291a2b4b764166d4155ab8a84aae35f1fc43a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-10-23T17:22:41Z","title_canon_sha256":"58cb136244706f5046f673f6d68302ab2713ed69400ba7c272aabe5085b4d61c"},"schema_version":"1.0","source":{"id":"1210.6298","kind":"arxiv","version":1}},"canonical_sha256":"00551c99575e5d5f3bb21439e275c2668cbc57549e35d8dcb80a77be10306dad","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"00551c99575e5d5f3bb21439e275c2668cbc57549e35d8dcb80a77be10306dad","first_computed_at":"2026-05-18T03:09:34.017109Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:09:34.017109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WQm0Cbq5PMwGpTQEngjl7vGBTHb7gEP5+cQEYVnpTv4OfkU/afuJSzGilvr3aa7kHGmLmQ76cJ+yaK+AixOuAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:09:34.017933Z","signed_message":"canonical_sha256_bytes"},"source_id":"1210.6298","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83c66c669171b3ac6e1f4a87024e9615c7a0068a1bd0bb495a0f284ce1ca1ebd","sha256:d92c472686a67e9c91c0e9a6d39f2df478b6e8c3019d51b20cd7c7e40252d956"],"state_sha256":"e922b22f0058cdf8c5e0f36ba395972b55c323c64bfd256b3dd29abae8ef2b61"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tp55O79kybumirJaBVNzEJnOJ6VgPn238ZTBl0GrcjuN6QGRtYYyOAZZyCmqraywQUJV3HR8WCJXzx4roSpxBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T13:50:51.393955Z","bundle_sha256":"be61bd9e44a0efc3e3a6d4452ad22e7bf4733581ca2a47f3579e12b4d4f912a5"}}