4 research outputs found
The Reverse Mathematics of CAC for trees
CAC for trees is the statement asserting that any infinite subtree of
has an infinite path or an infinite antichain. In
this paper, we study the computational strength of this theorem from a reverse
mathematical viewpoint. We prove that TAC for trees is robust, that is, there
exist several characterizations, some of which already appear in the
literature, namely, the tree antichain theorem (TCAC) introduced by Conidis,
and the statement SHER introduced by Dorais et al. We show that CAC for trees
is computationally very weak, in that it admits probabilistic solutions.Comment: 28 page