Denseness properties of the lattice of separation-degrees (Q920085)

Let \({\mathbb{N}}\) be the set of all natural numbers, \(A',A'',B',B''\subseteq {\mathbb{N}}\), \(A'\cap A''=\emptyset\), \(B'\cap B''=\emptyset\), \(A=(A',A'')\), \(B=(B',B'')\). The authors write \(A\leq_{sm}B\) if there exists a recursive function f such that \(f(A')\subseteq B'\) and \(f(A'')\subseteq B''\). \(d_{sm}(A)\) denotes the sm-degree of \(A=(A',A'')\). The authors show the following properties of the upper semilattice \((L_{sm},\leq_{sm})\), where \(L_{sm}\) denotes the set of all sm- degrees: (1) For any degrees a, b, \(d_ n\), \(p_ n\), \(n\in {\mathbb{N}}\), if \(a<b\) and \((\forall n)(d_ n\nleq a\&b\nleq p_ n)\) then there exists a degree c such that \(a<c<b\) and \((\forall n)(c\nleq p_ n\&d_ n\nleq c)\). (2) For any degrees \(a_ n\), \(d_ n\), \(n\in {\mathbb{N}}\), if \((\forall n)(a_{n+1}<a_ n)\) and \((\forall n,m)(a_ n\nleq d_ m)\), then there exists a degree c such that \((\forall n)(c\leq a_ n\&c\nleq d_ n)\). (3) For any degrees \(a_ n\), \(d_ n\), \(n\in {\mathbb{N}}\), if \((\forall n)(a_ n<a_{n+1})\) and \((\forall n,m)(d_ n\nleq a_ m)\) then there exists a degree c such that \((\forall n)(a_ n\leq c\&d_ n\nleq c)\). (4) For any degrees \(a_ n\), \(b_ n\), \(n\in {\mathbb{N}}\), if \((\forall n,m)(a_ n<a_{n+1}\&b_{n+1}<b_ n\&a_ n<b_ m)\) then there exists a degree c such that \((\forall n)(a_ n<c<b_ n)\).