Very weak fragments of weak K\H{o}nig's lemma

Stephen G. Simpson; Keita Yokoyama

Very weak fragments of weak K\H{o}nig's lemma

Logic 2021-01-05 v1

Authors: Stephen G. Simpson , Keita Yokoyama

Abstract

It is well-known that any finite $\Pi^{0}_{1}$ -class of $2^{\mathbb N}$ has a computable member. Then, how can we understand this in the context of reverse mathematics? In this note, we consider several very weak fragments of K\H{o}nig's lemma to answer this qeustion.

Keywords

reverse mathematics weak könig's lemma pi-0-1 class computable member very weak fragments

Cite

@article{arxiv.2101.00636,
  title  = {Very weak fragments of weak K\H{o}nig's lemma},
  author = {Stephen G. Simpson and Keita Yokoyama},
  journal= {arXiv preprint arXiv:2101.00636},
  year   = {2021}
}

Comments

Technical note

Related papers

View all related →