Stephen Flood

dblp:02/10360 · DBLP profile ↗
← Back
3ranked-venue papers
3as first author
1since 2021 · last 2022
0000-0001-8206-737XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 3 first-author · 1 since 2021
YearPublicationVenuePosition
2022 The computational strength of matchings in countable graphs
Stephen Flood, Matthew Jura, Oscar Levin, Tyler Markkanen
Ann. Pure Appl. Log.1
2017 Ordinals and graph decompositions
Stephen Flood
Ann. Pure Appl. Log.1
2012 Reverse mathematics and a Ramsey-type König's Lemma
abstract
Abstract In this paper, we propose a weak regularity principle which is similar to both weak König's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then analyze different ways of generalizing this principle.
Stephen Flood
J. Symb. Log.1