arXiv (All)
open access
Probabilistic Powerdomains of Pointed FS-Domains are FS-Domains
The Jung-Tix problem concerns the compatibility of probabilistic powerdomains with Cartesian closed categories of domains. We prove that both the subprobability and probability valuation powerdomains of every pointed FS-domain are FS-domains.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Preserving Topology Confidentiality in Inter-Domain Path Computation Using a Path-Key-Based Mechanism#476259
- Probability Modals and Infinite Domains#86929
- Accuracy and Probabilism in Infinite Domains#118183
- The Domain Translation Protocol and Its Cross-Domain Application#722816
- THE AUGURE: THE MAN OF DESTINY A Formal Theory of Vocation at Its Summit Gift-Domain Topology, the Dissolution Threshold, the Resonance Mechanism, and the Political Conditions for Men of Destiny#692472
Record · ID 1389997
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive