Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
REVERSE MATHEMATICS AND A RAMSEY-TYPE KÖNIG'S LEMMA
Beteiligte:
FLOOD, STEPHEN
Erschienen:
Association for Symbolic Logic, Inc., 2012
Erschienen in:
The Journal of Symbolic Logic, 77 (2012) 4, Seite 1272-1280
Sprache:
Englisch
DOI:
10.2178/jsl.7704120
ISSN:
0022-4812
Entstehung:
Anmerkungen:
Beschreibung:
<p>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.</p>