𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A group theoretical proof of Kramers' theorem

Publisher
Elsevier Science
Year
1960
Weight
52 KB
Volume
26
Category
Article
ISSN
0031-8914

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.

A Proof of Shirshov's Theorem
A Proof of Shirshov's Theorem
✍ Giuseppe Pirillo πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 188 KB

Sane copiosam tu et uberem messem ex hoc agro collegisti, nos pauculas spicas contemptas tibi potius quam non visas. Triumphus igutur hic omnis tuus est: mihi abunde satis si armillis aut hasta donatus, sequar hunc candidae famae tuae currum. wJustus Lipsius In this paper we prove that, except fo

A proof of Serre's theorem
A proof of Serre's theorem
✍ N.L. Biggs πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 253 KB