2 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…

Strongly maximal elements conjecture. The strongly maximal elements of $\mathcal R$ coincide with the elements that are both sharp and maximal only if a constructive taboo holds.