Switch to: References

Add citations

You must login to add citations.
  1. THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$.Julien Cervelle, William Gaudelier & Ludovic Patey - 2024 - Journal of Symbolic Logic 89 (3):1189-1211.
    ${\mathsf {CAC\ for\ trees}}$ is the statement asserting that any infinite subtree of $\mathbb {N}^{<\mathbb {N}}$ 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 ${\mathsf {CAC\ for\ trees}}$ is robust, that is, there exist several characterizations, some of which already appear in the literature, namely, the statement $\mathsf {SHER}$ introduced by Dorais et al. [8], and the statement $\mathsf {TAC}+\mathsf {B}\Sigma ^0_2$ (...)
    Download  
     
    Export citation  
     
    Bookmark