✦ LIBER ✦

Axioms and (counter)examples in synthetic domain theory

✍ Scribed by Jaap van Oosten; Alex K. Simpson

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 273 KB
Volume: 104
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(00)00014-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some axiomatic results in synthetic doma

Some axiomatic results in synthetic domain theory

✍ A.K. van Oosten; J. Simpson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 31 KB

Examples and Counterexamples in Graph Th

Examples and Counterexamples in Graph Theory

✍ Michael Capobianco; John C. Molluzzo 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 41 KB

Examples and counterexamples in graph th

Examples and counterexamples in graph theory

✍ Michael Capobianco; John C. Molluzzo 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 41 KB

Examples and counter-examples for a stri

Examples and counter-examples for a string density formula in the case of a discontinuity

✍ H.P.W Gottlieb 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 291 KB

Examples and Counterexamples in Commutat

Examples and Counterexamples in Commutative Ring Theory

✍ S.S. Abhyankar; W.J. Heinzer 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 972 KB

Distance and Measurement in Domain Theor

Distance and Measurement in Domain Theory

✍ Paweł Waszkiewicz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 199 KB

We investigate the notion of distance on domains. In particular, we show that measurement is a fundamental concept underlying partial metrics by proving that a domain in its Scott topology is partially metrizable only if it admits a measurement. Conversely, the natural notion of a distance associate