Very weak fragments of weak Konig's lemma

Abstract

It is well-known that any finite 01-class of 2 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 Konig's lemma to answer this qeustion.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…