We know that the setclass of Rightright-Orderableorderable groups $RO$$\mathit{RO}$, is contained in the setclass of $\Omega$- groupsgroups (Readread it from "A Note on Group Rings of Certain Torsion-Free Groups""A note on group rings of certain torsion-free groups" by Burns-Hale).
A Groupgroup $G$ is a right orderable-orderable group if there exists a total right order $\leq$ on $G$ s.t. if $ a \leq b$ $\implies$ $ga \leq gb$$ag \leq bg$ $\forall g \in G$
A Groupgroup $G$ is an $\Omega$-group if for every ordered pair of nonempty finite subsets $A$, $B$ of $G$ there is at least one pair $(a,b)$ $\in$ $A \times B$ s.t. $ab\neq a'b'$ for any other ordered pair $(a',b') \in A \times B$.
So: Are all locally indicable groups $\Omega$-groups? andA group is there any proof relating the containment of locally indicable groups in $RO$-groups? (either up to some point or showing that they aren't contained?) Also what about containment of $\Omega$-groups inif every nontrivial finitely generated subgroup admits $RO$-groups?$\mathbb{Z}$ as quotient group.
Thanks : )
Are all locally indicable groups $\Omega$-groups? and is there any proof relating the containment of the class of locally indicable groups in the class of RO-groups? (either up to some point or showing that they aren't contained?) Also what about containment of the class of $\Omega$-groups in $\mathit{RO}$?