{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:EZ4URKXZJ2KQMMCZSM5W4N7U5K","short_pith_number":"pith:EZ4URKXZ","canonical_record":{"source":{"id":"1607.04240","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-07-14T18:42:15Z","cross_cats_sorted":[],"title_canon_sha256":"1906d0738ef30590324a533b1a6566cd8f49b0a8789146858c4ec4a3db4597b3","abstract_canon_sha256":"69351c2e0e1a68ed12a02641d627b953d4c579bb9220cf59c0255ce4b9c93b62"},"schema_version":"1.0"},"canonical_sha256":"267948aaf94e95063059933b6e37f4eab471fcefc5d4a6034dfd9a6377da05da","source":{"kind":"arxiv","id":"1607.04240","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.04240","created_at":"2026-05-18T01:11:03Z"},{"alias_kind":"arxiv_version","alias_value":"1607.04240v1","created_at":"2026-05-18T01:11:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.04240","created_at":"2026-05-18T01:11:03Z"},{"alias_kind":"pith_short_12","alias_value":"EZ4URKXZJ2KQ","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"EZ4URKXZJ2KQMMCZ","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"EZ4URKXZ","created_at":"2026-05-18T12:30:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:EZ4URKXZJ2KQMMCZSM5W4N7U5K","target":"record","payload":{"canonical_record":{"source":{"id":"1607.04240","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-07-14T18:42:15Z","cross_cats_sorted":[],"title_canon_sha256":"1906d0738ef30590324a533b1a6566cd8f49b0a8789146858c4ec4a3db4597b3","abstract_canon_sha256":"69351c2e0e1a68ed12a02641d627b953d4c579bb9220cf59c0255ce4b9c93b62"},"schema_version":"1.0"},"canonical_sha256":"267948aaf94e95063059933b6e37f4eab471fcefc5d4a6034dfd9a6377da05da","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:03.798786Z","signature_b64":"hb123nQZSBkSBeCJms3dronRL89OQ2bUskxhwzgejaHGfR70cDuaCMdwiorKauCE0Z6vi/pXw3XPRlUK2UIuCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"267948aaf94e95063059933b6e37f4eab471fcefc5d4a6034dfd9a6377da05da","last_reissued_at":"2026-05-18T01:11:03.798360Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:03.798360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.04240","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-18T01:11:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ifmVn43ucUHe4LmjgdtdU0rBM6Df8VAvsfZNZq/M9bfr9EZh6sXl+jj8/YughseLQDUISKPfI2H81g/gYurGAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:51:44.987085Z"},"content_sha256":"09c47fd38f8f5bd62c6bd7fcf1e8360aa294cb1725253e284a6fb09d306d203e","schema_version":"1.0","event_id":"sha256:09c47fd38f8f5bd62c6bd7fcf1e8360aa294cb1725253e284a6fb09d306d203e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:EZ4URKXZJ2KQMMCZSM5W4N7U5K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conditional probabilities and van Lambalgen theorem revisited","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Alexander Shen, Bruno Bauwens, Hayato Takahashi","submitted_at":"2016-07-14T18:42:15Z","abstract_excerpt":"The definition of conditional probability in case of continuous distributions was an important step in the development of mathematical theory of probabilities. How can we define this notion in algorithmic probability theory? In this survey we discuss the developments in this direction trying to explain what are the difficulties and what can be done to avoid them. Almost all the results discussed in this paper have been published (and we provide the references), but we tried to put them into perspective and to explain the proofs in a more intuitive way. We assume that the reader is familiar wit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.04240","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-18T01:11:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BKNdJeVj07Ir/Kbz59z24biAqH/uegxPaN/e6lgtQTceST6irukc+uj0oeHMfMs/MXFZNPIJ+NvhV9338AjDDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:51:44.987802Z"},"content_sha256":"5b6cfb5856e31e4d234cb62781562c3e8177b7f8fb0081295189525f2c0bbc6f","schema_version":"1.0","event_id":"sha256:5b6cfb5856e31e4d234cb62781562c3e8177b7f8fb0081295189525f2c0bbc6f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EZ4URKXZJ2KQMMCZSM5W4N7U5K/bundle.json","state_url":"https://pith.science/pith/EZ4URKXZJ2KQMMCZSM5W4N7U5K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EZ4URKXZJ2KQMMCZSM5W4N7U5K/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-07T20:51:44Z","links":{"resolver":"https://pith.science/pith/EZ4URKXZJ2KQMMCZSM5W4N7U5K","bundle":"https://pith.science/pith/EZ4URKXZJ2KQMMCZSM5W4N7U5K/bundle.json","state":"https://pith.science/pith/EZ4URKXZJ2KQMMCZSM5W4N7U5K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EZ4URKXZJ2KQMMCZSM5W4N7U5K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:EZ4URKXZJ2KQMMCZSM5W4N7U5K","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":"69351c2e0e1a68ed12a02641d627b953d4c579bb9220cf59c0255ce4b9c93b62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-07-14T18:42:15Z","title_canon_sha256":"1906d0738ef30590324a533b1a6566cd8f49b0a8789146858c4ec4a3db4597b3"},"schema_version":"1.0","source":{"id":"1607.04240","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.04240","created_at":"2026-05-18T01:11:03Z"},{"alias_kind":"arxiv_version","alias_value":"1607.04240v1","created_at":"2026-05-18T01:11:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.04240","created_at":"2026-05-18T01:11:03Z"},{"alias_kind":"pith_short_12","alias_value":"EZ4URKXZJ2KQ","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"EZ4URKXZJ2KQMMCZ","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"EZ4URKXZ","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:5b6cfb5856e31e4d234cb62781562c3e8177b7f8fb0081295189525f2c0bbc6f","target":"graph","created_at":"2026-05-18T01:11:03Z","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":"The definition of conditional probability in case of continuous distributions was an important step in the development of mathematical theory of probabilities. How can we define this notion in algorithmic probability theory? In this survey we discuss the developments in this direction trying to explain what are the difficulties and what can be done to avoid them. Almost all the results discussed in this paper have been published (and we provide the references), but we tried to put them into perspective and to explain the proofs in a more intuitive way. We assume that the reader is familiar wit","authors_text":"Alexander Shen, Bruno Bauwens, Hayato Takahashi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-07-14T18:42:15Z","title":"Conditional probabilities and van Lambalgen theorem revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.04240","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:09c47fd38f8f5bd62c6bd7fcf1e8360aa294cb1725253e284a6fb09d306d203e","target":"record","created_at":"2026-05-18T01:11:03Z","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":"69351c2e0e1a68ed12a02641d627b953d4c579bb9220cf59c0255ce4b9c93b62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-07-14T18:42:15Z","title_canon_sha256":"1906d0738ef30590324a533b1a6566cd8f49b0a8789146858c4ec4a3db4597b3"},"schema_version":"1.0","source":{"id":"1607.04240","kind":"arxiv","version":1}},"canonical_sha256":"267948aaf94e95063059933b6e37f4eab471fcefc5d4a6034dfd9a6377da05da","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"267948aaf94e95063059933b6e37f4eab471fcefc5d4a6034dfd9a6377da05da","first_computed_at":"2026-05-18T01:11:03.798360Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:03.798360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hb123nQZSBkSBeCJms3dronRL89OQ2bUskxhwzgejaHGfR70cDuaCMdwiorKauCE0Z6vi/pXw3XPRlUK2UIuCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:03.798786Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.04240","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09c47fd38f8f5bd62c6bd7fcf1e8360aa294cb1725253e284a6fb09d306d203e","sha256:5b6cfb5856e31e4d234cb62781562c3e8177b7f8fb0081295189525f2c0bbc6f"],"state_sha256":"ff2e81f23cc8ca7dab2fd356565897eef16202972ee8046d44767d2bb61aa2ca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xqm2gZfc829p1XJlt31WLFigMNV3F0uREsrwAbNPrvVgb2oGKDOcN9EUKJVH7aCZSl9eqAJW8mP95TBv6Ne5Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T20:51:44.992131Z","bundle_sha256":"cf6764de3432c9e1a27914622a95da8b58323487c2b32baca8a1d1afeebd8592"}}