3 problems

Let $X$ and $L$ be continuous domains, and let $T$ denote the domain used in the Scott function spaces $[X\to T]$ and $[T\to L]$. The paper considers finite-layer truncation maps a…

Let $\Xi$ be the universe of categories enriched in pointed DCPOs and Scott-continuous functors between them, respecting finite coproducts and initial objects. Let $\Theta$ be the…

Continuous-semantics conjecture. All the effective models living in the continuous semantics have non-r.e. equational theories.