Local indicability of left ordered groups without nonabelian free subgroups
Local indicability conjecture. Every left ordered NF\operatorname{NF}NF-group is locally indicable.
MathDB