Using these results and the Isbell's example of a non-sober complete lattice, we deduce that there is a complete Heyting algebra whose Scott ...
確定! 回上一頁