Computably Enumerable Partial Orders
Peter A. Cholak, Damir D. Dzhafarov, Noah Schweber, Richard A. Shore · Computability · 2012
We study the degree spectra and reverse-mathematical applications of computably enumerable and co-computably enumerable partial orders. We formulate versions of the chain/antichain principle and ascending/descending sequence principle for such orders