𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Note on free algebras over continuous domains

✍ Scribed by Jürgen Koslowski

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
322 KB
Volume
179
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

We provide a simple direct proof that for a finitary signature and a set of inequalities the free algebra functor on the category of directed complete partial orders (dcpo's) takes continuous, respectively algebraic, dcpo's to free algebras whose underlying dcpo is again continuous, respectively algebraic. F? Cont. Similarly, in the algebraic case we may require the morphisms and the C-operations to preserve compactness, and we obtain an analogous adjunction.

📜 SIMILAR VOLUMES

A note on the transition probability ove
A note on the transition probability over C*-algebras
✍ Peter M. Alberti 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 358 KB

The algebraic structure of Uhlmann's transition probability between mixed states on unital C\*-algebras (see [2] ) is analyzed. Several improvements of methods to calculate the transition probability are fixed examples are given (e.g., the case of quasi-local C\*-algebras is dealt with) and two more

A note on unbounded metric temporal logi
A note on unbounded metric temporal logic over dense time domains
✍ Stefano Baratella; Andrea Masini 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 114 KB 👁 1 views

## Abstract We investigate the consequences of removing the infinitary axiom and rules from a previously defined proof system for a fragment of propositional metric temporal logic over dense time (see [1]). (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)