{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:VSVIXBIOWBN3I5VJ2I3ZUQD7BB","short_pith_number":"pith:VSVIXBIO","schema_version":"1.0","canonical_sha256":"acaa8b850eb05bb476a9d2379a407f086512ed416fd0f87e476f0f7f1d316175","source":{"kind":"arxiv","id":"1203.5535","version":4},"attestation_state":"computed","paper":{"title":"Computable randomness and betting for computable probability spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Jason Rute","submitted_at":"2012-03-25T19:47:19Z","abstract_excerpt":"Unlike Martin-L\\\"of randomness and Schnorr randomness, computable randomness has not been defined, except for a few ad hoc cases, outside of Cantor space. This paper offers such a definition (actually, several equivalent definitions), and further, provides a general method for abstracting \"bit-wise\" definitions of randomness from Cantor space to arbitrary computable probability spaces. This same method is also applied to give machine characterizations of computable and Schnorr randomness for computable probability spaces, extending the previously known results. The paper contains a new type of"},"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":"1203.5535","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2012-03-25T19:47:19Z","cross_cats_sorted":[],"title_canon_sha256":"778d5bed01186482327d5ec2a75b67a7ffd8ac3bce82a789cbb06013b2cd45fe","abstract_canon_sha256":"cc3d551afad47e8e94b681b78de1cdc3cc6dc0e65a67fbdf46d47618259ed0ca"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:18:13.898336Z","signature_b64":"5lwE+0DS0U3NTL8O3Q2DHU5R8P6fMhq+h/v+UPQDza53J+HlE8QX+GQ4q+c/rj9X3TPvr1cgJpESuiqDOrgbDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"acaa8b850eb05bb476a9d2379a407f086512ed416fd0f87e476f0f7f1d316175","last_reissued_at":"2026-05-18T02:18:13.897945Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:18:13.897945Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computable randomness and betting for computable probability spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Jason Rute","submitted_at":"2012-03-25T19:47:19Z","abstract_excerpt":"Unlike Martin-L\\\"of randomness and Schnorr randomness, computable randomness has not been defined, except for a few ad hoc cases, outside of Cantor space. This paper offers such a definition (actually, several equivalent definitions), and further, provides a general method for abstracting \"bit-wise\" definitions of randomness from Cantor space to arbitrary computable probability spaces. This same method is also applied to give machine characterizations of computable and Schnorr randomness for computable probability spaces, extending the previously known results. The paper contains a new type of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.5535","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":"1203.5535","created_at":"2026-05-18T02:18:13.898000+00:00"},{"alias_kind":"arxiv_version","alias_value":"1203.5535v4","created_at":"2026-05-18T02:18:13.898000+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.5535","created_at":"2026-05-18T02:18:13.898000+00:00"},{"alias_kind":"pith_short_12","alias_value":"VSVIXBIOWBN3","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_16","alias_value":"VSVIXBIOWBN3I5VJ","created_at":"2026-05-18T12:27:25.539911+00:00"},{"alias_kind":"pith_short_8","alias_value":"VSVIXBIO","created_at":"2026-05-18T12:27:25.539911+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/VSVIXBIOWBN3I5VJ2I3ZUQD7BB","json":"https://pith.science/pith/VSVIXBIOWBN3I5VJ2I3ZUQD7BB.json","graph_json":"https://pith.science/api/pith-number/VSVIXBIOWBN3I5VJ2I3ZUQD7BB/graph.json","events_json":"https://pith.science/api/pith-number/VSVIXBIOWBN3I5VJ2I3ZUQD7BB/events.json","paper":"https://pith.science/paper/VSVIXBIO"},"agent_actions":{"view_html":"https://pith.science/pith/VSVIXBIOWBN3I5VJ2I3ZUQD7BB","download_json":"https://pith.science/pith/VSVIXBIOWBN3I5VJ2I3ZUQD7BB.json","view_paper":"https://pith.science/paper/VSVIXBIO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1203.5535&json=true","fetch_graph":"https://pith.science/api/pith-number/VSVIXBIOWBN3I5VJ2I3ZUQD7BB/graph.json","fetch_events":"https://pith.science/api/pith-number/VSVIXBIOWBN3I5VJ2I3ZUQD7BB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VSVIXBIOWBN3I5VJ2I3ZUQD7BB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VSVIXBIOWBN3I5VJ2I3ZUQD7BB/action/storage_attestation","attest_author":"https://pith.science/pith/VSVIXBIOWBN3I5VJ2I3ZUQD7BB/action/author_attestation","sign_citation":"https://pith.science/pith/VSVIXBIOWBN3I5VJ2I3ZUQD7BB/action/citation_signature","submit_replication":"https://pith.science/pith/VSVIXBIOWBN3I5VJ2I3ZUQD7BB/action/replication_record"}},"created_at":"2026-05-18T02:18:13.898000+00:00","updated_at":"2026-05-18T02:18:13.898000+00:00"}