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
## 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.
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
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
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