{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:CHATML4ENYJZIHI225B27QV3WR","short_pith_number":"pith:CHATML4E","schema_version":"1.0","canonical_sha256":"11c1362f846e13941d1ad743afc2bbb448bd1848a9f0331d5c7485a2b8ea5aad","source":{"kind":"arxiv","id":"1809.00772","version":1},"attestation_state":"computed","paper":{"title":"A characterization of the consistent Hoare powerdomains over dcpos","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Nan Zhang, Qingguo Li, Zhongxi Zhang","submitted_at":"2018-09-04T02:23:09Z","abstract_excerpt":"It has been shown that for a dcpo P, the Scott closure of \\Gamma_c(P) in \\Gamma(P) is a consistent Hoare powerdomain of P, where \\Gamma_c(P) is the family of nonempty, consistent and Scott closed subsets of P, and \\Gamma(P) is the collection of all nonempty Scott closed subsets of P. In this paper, by introducing the notion of a \\vee-existing set, we present a direct characterization of the consistent Hoare powerdomain: the set of all \\vee-existing Scott closed subsets of a dcpo P is exactly the consistent Hoare powerdomain of P. We also introduce the concept of an F-Scott closed set over each"},"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":"1809.00772","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-09-04T02:23:09Z","cross_cats_sorted":[],"title_canon_sha256":"ee89452b743859a0571d56b2b1b2da5a08b56192dce21aa55a2b80431afbe9fe","abstract_canon_sha256":"292597c28991870c95c9f5989a6d35ac98e0842f84deb7ccf42bf2358aa191ea"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:32.538045Z","signature_b64":"Y0X8ynvEcak6GqaVFipGVr9Oq/xYlFOJpqnMrxS0n4AUwmZ5MZYJrCFg8aTsjXNrmnKCho4QlvgqiKL5AlzfAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"11c1362f846e13941d1ad743afc2bbb448bd1848a9f0331d5c7485a2b8ea5aad","last_reissued_at":"2026-05-18T00:06:32.537529Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:32.537529Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A characterization of the consistent Hoare powerdomains over dcpos","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Nan Zhang, Qingguo Li, Zhongxi Zhang","submitted_at":"2018-09-04T02:23:09Z","abstract_excerpt":"It has been shown that for a dcpo P, the Scott closure of \\Gamma_c(P) in \\Gamma(P) is a consistent Hoare powerdomain of P, where \\Gamma_c(P) is the family of nonempty, consistent and Scott closed subsets of P, and \\Gamma(P) is the collection of all nonempty Scott closed subsets of P. In this paper, by introducing the notion of a \\vee-existing set, we present a direct characterization of the consistent Hoare powerdomain: the set of all \\vee-existing Scott closed subsets of a dcpo P is exactly the consistent Hoare powerdomain of P. We also introduce the concept of an F-Scott closed set over each"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.00772","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1809.00772","created_at":"2026-05-18T00:06:32.537618+00:00"},{"alias_kind":"arxiv_version","alias_value":"1809.00772v1","created_at":"2026-05-18T00:06:32.537618+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.00772","created_at":"2026-05-18T00:06:32.537618+00:00"},{"alias_kind":"pith_short_12","alias_value":"CHATML4ENYJZ","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_16","alias_value":"CHATML4ENYJZIHI2","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_8","alias_value":"CHATML4E","created_at":"2026-05-18T12:32:16.446611+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/CHATML4ENYJZIHI225B27QV3WR","json":"https://pith.science/pith/CHATML4ENYJZIHI225B27QV3WR.json","graph_json":"https://pith.science/api/pith-number/CHATML4ENYJZIHI225B27QV3WR/graph.json","events_json":"https://pith.science/api/pith-number/CHATML4ENYJZIHI225B27QV3WR/events.json","paper":"https://pith.science/paper/CHATML4E"},"agent_actions":{"view_html":"https://pith.science/pith/CHATML4ENYJZIHI225B27QV3WR","download_json":"https://pith.science/pith/CHATML4ENYJZIHI225B27QV3WR.json","view_paper":"https://pith.science/paper/CHATML4E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1809.00772&json=true","fetch_graph":"https://pith.science/api/pith-number/CHATML4ENYJZIHI225B27QV3WR/graph.json","fetch_events":"https://pith.science/api/pith-number/CHATML4ENYJZIHI225B27QV3WR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CHATML4ENYJZIHI225B27QV3WR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CHATML4ENYJZIHI225B27QV3WR/action/storage_attestation","attest_author":"https://pith.science/pith/CHATML4ENYJZIHI225B27QV3WR/action/author_attestation","sign_citation":"https://pith.science/pith/CHATML4ENYJZIHI225B27QV3WR/action/citation_signature","submit_replication":"https://pith.science/pith/CHATML4ENYJZIHI225B27QV3WR/action/replication_record"}},"created_at":"2026-05-18T00:06:32.537618+00:00","updated_at":"2026-05-18T00:06:32.537618+00:00"}