Title: Quotient lattices, index sets, and recursive linear orderings