Follow
The computational strength of matchings in countable graphs. (arXiv:2006.11334v1 [math.LO]) http://arxiv.org/abs/2006.11334
The computational strength of matchings in countable graphs. (arXiv:2006.11334v1 [math.LO]) http://arxiv.org/abs/2006.11334