COMPUTABLE LINEAR ORDERS AND PRODUCTS