𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Courcelle’s theorem—A game-theoretic approach

✍ Scribed by Joachim Kneis; Alexander Langer; Peter Rossmanith

Book ID
113567720
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
494 KB
Volume
8
Category
Article
ISSN
1572-5286

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A GAME-THEORETIC PROOF OF ANALYTIC RAMSE
A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM
✍ Kazuyuki Tanaka 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 217 KB

## Abstract We give a simple game‐theoretic proof of Silver's theorem that every analytic set is Ramsey. A set __P__ of subsets of ω is called Ramsey if there exists an infinite set __H__ such that either all infinite subsets of __H__ are in __P__ or all out of __P.__ Our proof clarifies a strong c