CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS

Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show that there is a computable partial ordering which has an infinite chain but none that is Σ1 1 or Π1 1, and also obtain the analogous result for antichains. On the other hand, we show that every computable partial ordering which has an infinite chain must have an infinite chain that is the difference of two Π1 1 sets. Our main result is that there is a computably axiomatizable theory K of partial orderings such that K has a computable model with arbitrarily long finite chains but no computable model with an infinite chain. We also prove the corresponding result for antichains. Finally, we prove that if a computable partial ordering A has the feature that for every B ∼ = A, there is an infinite chain or antichain that is ∆0 2 relative to B, then we have uniform dichotomy: either for all copies B of A, there is an infinite chain that is ∆0 2 relative to B, or for all copies B of A, there is an infinite antichain that is ∆0 2 relative to B. A partial ordering is a pair (P, <), where P is a nonempty set and < is a binar

CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS

Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show that there is a computable partial ordering which has an infinite chain but none that is Σ1 1 or Π1 1, and also obtain the analogous result for antichains. On the other hand, we show that every computable partial ordering which has an infinite chain must have an infinite chain that is the difference of two Π1 1 sets. Our main result is that there is a computably axiomatizable theory K of partial orderings such that K has a computable model with arbitrarily long finite chains but no computable model with an infinite chain. We also prove the corresponding result for antichains. Finally, we prove that if a computable partial ordering A has the feature that for every B ∼ = A, there is an infinite chain or antichain that is ∆0 2 relative to B, thenwe have uniform dichotomy: either for all copies B of A, there is an infinite chain that is ∆0