{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:ZS4LEWCLRGZMTWQ7UFVNLNINFO","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":"7d526411156b6cdef82117055fbaefe1ffc4ff88040f64a358a8e2a9b79c3b5c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-12-20T15:21:41Z","title_canon_sha256":"148855ac0a14f6e4a961fed7c2a126b10bdfbbb5d0fcf22b54b6d53262de6743"},"schema_version":"1.0","source":{"id":"1912.10040","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.10040","created_at":"2026-07-05T01:20:14Z"},{"alias_kind":"arxiv_version","alias_value":"1912.10040v2","created_at":"2026-07-05T01:20:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.10040","created_at":"2026-07-05T01:20:14Z"},{"alias_kind":"pith_short_12","alias_value":"ZS4LEWCLRGZM","created_at":"2026-07-05T01:20:14Z"},{"alias_kind":"pith_short_16","alias_value":"ZS4LEWCLRGZMTWQ7","created_at":"2026-07-05T01:20:14Z"},{"alias_kind":"pith_short_8","alias_value":"ZS4LEWCL","created_at":"2026-07-05T01:20:14Z"}],"graph_snapshots":[{"event_id":"sha256:9e1bb6fb208865277b2ee5d6fc26dd9c71bdf99503a45c394b79988de2ce5729","target":"graph","created_at":"2026-07-05T01:20:14Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1912.10040/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In computer science, especially when dealing with quantum computing or other non-standard models of computation, basic notions in probability theory like \"a predicate\" vary wildly. There seems to be one constant: the only useful example of an algebra of probabilities is the real unit interval. In this paper we try to explain this phenomenon. We will show that the structure of the real unit interval naturally arises from a few reasonable assumptions. We do this by studying effect monoids, an abstraction of the algebraic structure of the real unit interval: it has an addition $x+y$ which is only","authors_text":"Abraham Westerbaan, Bas Westerbaan, John van de Wetering","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-12-20T15:21:41Z","title":"A characterisation of ordered abstract probabilities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.10040","kind":"arxiv","version":2},"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:84a2398c907cf8c847271b33a374eacbec547142845468299e5776b42cf02e12","target":"record","created_at":"2026-07-05T01:20:14Z","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":"7d526411156b6cdef82117055fbaefe1ffc4ff88040f64a358a8e2a9b79c3b5c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-12-20T15:21:41Z","title_canon_sha256":"148855ac0a14f6e4a961fed7c2a126b10bdfbbb5d0fcf22b54b6d53262de6743"},"schema_version":"1.0","source":{"id":"1912.10040","kind":"arxiv","version":2}},"canonical_sha256":"ccb8b2584b89b2c9da1fa16ad5b50d2bb935a1c73cf688040798f9defbefd5ec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ccb8b2584b89b2c9da1fa16ad5b50d2bb935a1c73cf688040798f9defbefd5ec","first_computed_at":"2026-07-05T01:20:14.188249Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:20:14.188249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Hq8Y6ZmzBEu7+K8MdakGLM7zuC2Ou676mLid+2gtf5Zg+0rqhwqTqnKoDVoT5zPl6qrArCijHsKNmhR87t4ZAg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:20:14.188761Z","signed_message":"canonical_sha256_bytes"},"source_id":"1912.10040","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:84a2398c907cf8c847271b33a374eacbec547142845468299e5776b42cf02e12","sha256:9e1bb6fb208865277b2ee5d6fc26dd9c71bdf99503a45c394b79988de2ce5729"],"state_sha256":"b0b4f4dd764ef8ec2642f4f23dafa6c5a0fcc3531bf47e39d6e0537cb8e2577d"}