𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A group theoretic proof of Burnside'spaqb-theorem

✍ Scribed by Helmut Bender

Publisher
Springer-Verlag
Year
1972
Tongue
French
Weight
548 KB
Volume
126
Category
Article
ISSN
0025-5874

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

A new proof-theoretic proof of the indep
A new proof-theoretic proof of the independence of Kirby–Paris’ Hydra Theorem
✍ Lorenzo Carlucci πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 370 KB

A new proof is given for the independence of the termination of Kirby-Paris' Hydra Game from Peano Arithmetic by showing that it is strong enough to entail the termination of Gentzen's Reduction Strategy for proof ΓΏgures via an appropriate translation from derivations to hydras.