1 citations · 1 across the 7 of their papers we have counts for
9 papers
Thin set theorem for arbitrarily many colors implies bounding
Yamato Miyata, Keita Yokoyama
The thin set theorem asserts that for every natural number , each coloring admits an infinite set…
On some generalizations of Gödel's second incompleteness theorem
Yudai Suzuki, Keita Yokoyama
In this note, we give some generalizations of Gödel's second incompleteness theorem and study their surroundings. We revisit it from two perspectives. One perspective is the relati…
The Reverse Mathematics of Analytic Measurability
Juan P. Aguilera, Thibaut Kouptchinsky, Keita Yokoyama
A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depen…
Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
Hiroyuki Ikari, Keita Yokoyama
We construct an -solution (also known as a weakly low solution) to within and prove the -basis theorem for over…
On some subtheories of strong dependent choice
Juan P. Aguilera, Yudai Suzuki, Keita Yokoyama
In this paper, we give characterizations of the set of -consequences, -consequences and -consequences of the axiomatic system of the strong d…
conservation of Ramsey's theorem for pairs
Quentin Le Houérou, Ludovic Levy Patey, Keita Yokoyama
In this article, we prove that Ramsey's theorem for pairs and two colors is a conservative extension of , where a …