2 problems

For a linear order $L$, write $L^{\star}$ for its reverse, and let $\leq_c$ denote computable embeddability between pairs of structures. The preceding results establish computable…

The paper studies the degree $\deg_{tc}(\{\omega,\omega^{\star}\})$ and computable embeddings between pairs of countable linear orders. A class of structures is learnable when a le…