Very weak fragments of weak K\H{o}nig's lemma
Stephen G. Simpson, Keita Yokoyama

TL;DR
This paper explores extremely weak fragments of K\
Contribution
It investigates the computational strength of very weak K\
Findings
Finite a0^{0}_{1}a class has a computable member
Analyzes the reverse mathematics implications of weak Kf6nig's lemma fragments
Provides insights into the logical strength of these weak fragments
Abstract
It is well-known that any finite -class of 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Benford’s Law and Fraud Detection · semigroups and automata theory
