{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:AKKE7PCNLDEFPQVLZNDIRKNB3V","short_pith_number":"pith:AKKE7PCN","schema_version":"1.0","canonical_sha256":"02944fbc4d58c857c2abcb4688a9a1dd56710f440981576b839fa82b5708ecb1","source":{"kind":"arxiv","id":"1108.3736","version":2},"attestation_state":"computed","paper":{"title":"Computational Models of Certain Hyperspaces of Quasi-metric Spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Mahdi Ali-Akbari, Massoud Pourmahdian","submitted_at":"2011-08-18T12:21:27Z","abstract_excerpt":"In this paper, for a given sequentially Yoneda-complete T_1 quasi-metric space (X,d), the domain theoretic models of the hyperspace K_0(X) of nonempty compact subsets of (X,d) are studied. To this end, the $\\omega$-Plotkin domain of the space of formal balls BX, denoted by CBX is considered. This domain is given as the chain completion of the set of all finite subsets of BX with respect to the Egli-Milner relation. Further, a map $\\phi:K_0(X)\\rightarrow CBX$ is established and proved that it is an embedding whenever K_0(X) is equipped with the Vietoris topology and respectively CBX with the Sc"},"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":"1108.3736","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-08-18T12:21:27Z","cross_cats_sorted":[],"title_canon_sha256":"1cd12a06ef2fdca55198fbfa5fea2a253098c3516a72e624b849edbabef3a4de","abstract_canon_sha256":"2b082d868aeadc011ffdd564e6d48d515e1018d701e65a63f430106e4d2cf620"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:39.289783Z","signature_b64":"Ly3ZkFAz9b+pTntezE22JeA8lVzq3PGi+CF41a9IFC/q7g3WkOt+XWTM29urvlXjqGjHiCjgLxG4if3T+RRQCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"02944fbc4d58c857c2abcb4688a9a1dd56710f440981576b839fa82b5708ecb1","last_reissued_at":"2026-05-18T01:37:39.289089Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:39.289089Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computational Models of Certain Hyperspaces of Quasi-metric Spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Mahdi Ali-Akbari, Massoud Pourmahdian","submitted_at":"2011-08-18T12:21:27Z","abstract_excerpt":"In this paper, for a given sequentially Yoneda-complete T_1 quasi-metric space (X,d), the domain theoretic models of the hyperspace K_0(X) of nonempty compact subsets of (X,d) are studied. To this end, the $\\omega$-Plotkin domain of the space of formal balls BX, denoted by CBX is considered. This domain is given as the chain completion of the set of all finite subsets of BX with respect to the Egli-Milner relation. Further, a map $\\phi:K_0(X)\\rightarrow CBX$ is established and proved that it is an embedding whenever K_0(X) is equipped with the Vietoris topology and respectively CBX with the Sc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.3736","kind":"arxiv","version":2},"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":"1108.3736","created_at":"2026-05-18T01:37:39.289194+00:00"},{"alias_kind":"arxiv_version","alias_value":"1108.3736v2","created_at":"2026-05-18T01:37:39.289194+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.3736","created_at":"2026-05-18T01:37:39.289194+00:00"},{"alias_kind":"pith_short_12","alias_value":"AKKE7PCNLDEF","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_16","alias_value":"AKKE7PCNLDEFPQVL","created_at":"2026-05-18T12:26:24.575870+00:00"},{"alias_kind":"pith_short_8","alias_value":"AKKE7PCN","created_at":"2026-05-18T12:26:24.575870+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/AKKE7PCNLDEFPQVLZNDIRKNB3V","json":"https://pith.science/pith/AKKE7PCNLDEFPQVLZNDIRKNB3V.json","graph_json":"https://pith.science/api/pith-number/AKKE7PCNLDEFPQVLZNDIRKNB3V/graph.json","events_json":"https://pith.science/api/pith-number/AKKE7PCNLDEFPQVLZNDIRKNB3V/events.json","paper":"https://pith.science/paper/AKKE7PCN"},"agent_actions":{"view_html":"https://pith.science/pith/AKKE7PCNLDEFPQVLZNDIRKNB3V","download_json":"https://pith.science/pith/AKKE7PCNLDEFPQVLZNDIRKNB3V.json","view_paper":"https://pith.science/paper/AKKE7PCN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1108.3736&json=true","fetch_graph":"https://pith.science/api/pith-number/AKKE7PCNLDEFPQVLZNDIRKNB3V/graph.json","fetch_events":"https://pith.science/api/pith-number/AKKE7PCNLDEFPQVLZNDIRKNB3V/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AKKE7PCNLDEFPQVLZNDIRKNB3V/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AKKE7PCNLDEFPQVLZNDIRKNB3V/action/storage_attestation","attest_author":"https://pith.science/pith/AKKE7PCNLDEFPQVLZNDIRKNB3V/action/author_attestation","sign_citation":"https://pith.science/pith/AKKE7PCNLDEFPQVLZNDIRKNB3V/action/citation_signature","submit_replication":"https://pith.science/pith/AKKE7PCNLDEFPQVLZNDIRKNB3V/action/replication_record"}},"created_at":"2026-05-18T01:37:39.289194+00:00","updated_at":"2026-05-18T01:37:39.289194+00:00"}