Reverse mathematics and a Ramsey-type König's Lemma
Paper
•
1111.2526
•
Published
Stephen Flood
stephen-flood
·
AI & ML interests
None yet
Recent Activity
liked
a model
1 day ago
facebook/sam3
updated
a collection
9 months ago
Benchmarks
liked
a Space
9 months ago
mteb/leaderboard
Organizations
authored
a
paper
over 1 year ago