𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the proof of Solovay's theorem

✍ Scribed by Dick Jongh; Marc Jumelet; Franco Montagna


Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
892 KB
Volume
50
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A theorem on ROD-hypersmooth equivalence
✍ Vladimir Kanovei; Michael Reeken πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 160 KB πŸ‘ 1 views

## Abstract It is known that every Borel hypersmooth but non‐smooth equivalence relation is Borel bi‐reducible to E~1~. We prove a ROD version of this result in the Solovay model.

The proof of Fermat's Last Theorem
✍ Wong Chiaho πŸ“‚ Article πŸ“… 1996 πŸ› Springer 🌐 English βš– 306 KB

i) Instead of x~-l-y'=z "" we use (x -b)"-t-x" = (x-H-a)" (O. 1 ) as the general equation of Fermat's Last Theorem (FLT), where a and b are two arbitrary natural numbers. B)' means of binomial expansion, (0\_1) can be written as n ~.\_ ~ (~)~,-~[a,\_(2b),]=o (0.2) r= 1 Because a"--(-b ) ~ alwa)'s co

The early proofs of Sylow's theorem
✍ William C. Waterhouse πŸ“‚ Article πŸ“… 1980 πŸ› Springer-Verlag 🌐 English βš– 774 KB
Another Proof of Gluck's Theorem
✍ Hiroshi Matsuyama πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 56 KB

In this article, G is a permutation group on a finite set . We write permutations on the right, so that αg is the image of α ∈ by the action of g ∈ G. A subset S of is said to be G-regular if the stabilizer g ∈ G Sg = S is the identity. Our purpose is to give a direct short proof of the following t

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