{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:D7HFV7OS5HLZNGNRSVUZ37QYKS","short_pith_number":"pith:D7HFV7OS","canonical_record":{"source":{"id":"1605.07654","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2016-05-24T20:42:19Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"f91b839a1e1502554a898ca228ad8424d478303b1de3f56d1b5f2b4c441a4a54","abstract_canon_sha256":"012dd8c72dc0aa8ceafccbfaa26264b97630988cf619927ad908b41093a6d48d"},"schema_version":"1.0"},"canonical_sha256":"1fce5afdd2e9d79699b195699dfe1854a4991022ebc828b40ad3eaae50536fdc","source":{"kind":"arxiv","id":"1605.07654","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.07654","created_at":"2026-05-18T01:13:45Z"},{"alias_kind":"arxiv_version","alias_value":"1605.07654v1","created_at":"2026-05-18T01:13:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.07654","created_at":"2026-05-18T01:13:45Z"},{"alias_kind":"pith_short_12","alias_value":"D7HFV7OS5HLZ","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"D7HFV7OS5HLZNGNR","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"D7HFV7OS","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:D7HFV7OS5HLZNGNRSVUZ37QYKS","target":"record","payload":{"canonical_record":{"source":{"id":"1605.07654","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2016-05-24T20:42:19Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"f91b839a1e1502554a898ca228ad8424d478303b1de3f56d1b5f2b4c441a4a54","abstract_canon_sha256":"012dd8c72dc0aa8ceafccbfaa26264b97630988cf619927ad908b41093a6d48d"},"schema_version":"1.0"},"canonical_sha256":"1fce5afdd2e9d79699b195699dfe1854a4991022ebc828b40ad3eaae50536fdc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:45.331120Z","signature_b64":"P4xQ3d5ICCei5XKYEnlGwsxko6Xc6YFQyNAjbw4kLpP/agKFM9T0GsmuCxyQ3xtMZQuQPJNYRSxXbkYIKgCSDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1fce5afdd2e9d79699b195699dfe1854a4991022ebc828b40ad3eaae50536fdc","last_reissued_at":"2026-05-18T01:13:45.330432Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:45.330432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.07654","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:13:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y6wwTv3B8VjNAeZ5svGEpgwBDBs5nRRSbsM3eQkf2+w7t2Gbf1cgp3rBrNNS9CLUYGXafenExBRBNvWRh232AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T04:59:47.910732Z"},"content_sha256":"532fbd23e02d3074c9ccb50dda2697fd8e659f1ecc59bcc588099de0196e6e33","schema_version":"1.0","event_id":"sha256:532fbd23e02d3074c9ccb50dda2697fd8e659f1ecc59bcc588099de0196e6e33"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:D7HFV7OS5HLZNGNRSVUZ37QYKS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Cuntz semigroup and domain theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA"],"primary_cat":"math.OA","authors_text":"Klaus Keimel","submitted_at":"2016-05-24T20:42:19Z","abstract_excerpt":"Domain theory has its origins in Mathematics and Theoretical Computer Science. Mathematically it combines order and topology. Its central concepts have their origin in the idea of approximating ideal objects by their relatively finite or, more generally, relatively compact parts.\n  The development of domain theory in recent years was mainly motivated by question in denotational semantics and the theory of computation. But since 2008, domain theoretical notions and methods are used in the theory of C*-algebras in connection with the Cuntz semigroup.\n  This paper is largely expository. It presen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.07654","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:13:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cibilyfVYOgfbkCPIX3JYJcEka6QXOwiJ0D7jRJ5iccMXq7g71hD55HgMrbAoUK9gKJ0VXquMQhipqAeuSfmCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T04:59:47.911388Z"},"content_sha256":"7ca252c0b661e5b0e827de0ee5a510fcdc2ec275d287f37206893713bea75d06","schema_version":"1.0","event_id":"sha256:7ca252c0b661e5b0e827de0ee5a510fcdc2ec275d287f37206893713bea75d06"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D7HFV7OS5HLZNGNRSVUZ37QYKS/bundle.json","state_url":"https://pith.science/pith/D7HFV7OS5HLZNGNRSVUZ37QYKS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D7HFV7OS5HLZNGNRSVUZ37QYKS/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-09T04:59:47Z","links":{"resolver":"https://pith.science/pith/D7HFV7OS5HLZNGNRSVUZ37QYKS","bundle":"https://pith.science/pith/D7HFV7OS5HLZNGNRSVUZ37QYKS/bundle.json","state":"https://pith.science/pith/D7HFV7OS5HLZNGNRSVUZ37QYKS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D7HFV7OS5HLZNGNRSVUZ37QYKS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:D7HFV7OS5HLZNGNRSVUZ37QYKS","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":"012dd8c72dc0aa8ceafccbfaa26264b97630988cf619927ad908b41093a6d48d","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2016-05-24T20:42:19Z","title_canon_sha256":"f91b839a1e1502554a898ca228ad8424d478303b1de3f56d1b5f2b4c441a4a54"},"schema_version":"1.0","source":{"id":"1605.07654","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.07654","created_at":"2026-05-18T01:13:45Z"},{"alias_kind":"arxiv_version","alias_value":"1605.07654v1","created_at":"2026-05-18T01:13:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.07654","created_at":"2026-05-18T01:13:45Z"},{"alias_kind":"pith_short_12","alias_value":"D7HFV7OS5HLZ","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"D7HFV7OS5HLZNGNR","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"D7HFV7OS","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:7ca252c0b661e5b0e827de0ee5a510fcdc2ec275d287f37206893713bea75d06","target":"graph","created_at":"2026-05-18T01:13:45Z","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":"Domain theory has its origins in Mathematics and Theoretical Computer Science. Mathematically it combines order and topology. Its central concepts have their origin in the idea of approximating ideal objects by their relatively finite or, more generally, relatively compact parts.\n  The development of domain theory in recent years was mainly motivated by question in denotational semantics and the theory of computation. But since 2008, domain theoretical notions and methods are used in the theory of C*-algebras in connection with the Cuntz semigroup.\n  This paper is largely expository. It presen","authors_text":"Klaus Keimel","cross_cats":["math.FA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2016-05-24T20:42:19Z","title":"The Cuntz semigroup and domain theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.07654","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:532fbd23e02d3074c9ccb50dda2697fd8e659f1ecc59bcc588099de0196e6e33","target":"record","created_at":"2026-05-18T01:13:45Z","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":"012dd8c72dc0aa8ceafccbfaa26264b97630988cf619927ad908b41093a6d48d","cross_cats_sorted":["math.FA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OA","submitted_at":"2016-05-24T20:42:19Z","title_canon_sha256":"f91b839a1e1502554a898ca228ad8424d478303b1de3f56d1b5f2b4c441a4a54"},"schema_version":"1.0","source":{"id":"1605.07654","kind":"arxiv","version":1}},"canonical_sha256":"1fce5afdd2e9d79699b195699dfe1854a4991022ebc828b40ad3eaae50536fdc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1fce5afdd2e9d79699b195699dfe1854a4991022ebc828b40ad3eaae50536fdc","first_computed_at":"2026-05-18T01:13:45.330432Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:45.330432Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P4xQ3d5ICCei5XKYEnlGwsxko6Xc6YFQyNAjbw4kLpP/agKFM9T0GsmuCxyQ3xtMZQuQPJNYRSxXbkYIKgCSDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:45.331120Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.07654","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:532fbd23e02d3074c9ccb50dda2697fd8e659f1ecc59bcc588099de0196e6e33","sha256:7ca252c0b661e5b0e827de0ee5a510fcdc2ec275d287f37206893713bea75d06"],"state_sha256":"4041a5652da16e4ddec6d767920fab6fb189d427f72fbb7e0d86042c781a95dc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8oByz2lA6XTYOZv0DQq34kt43UN5fbpct30u48Ol+W58w1k7R4lRzyW7d5A9iAjZgSB4SBD5RPXHz3x1IMDEBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T04:59:47.915139Z","bundle_sha256":"19ebeb020c70edeffdb25732b855041a6621292194fbb972249377a4c0f47257"}}