2 Questions 17 Answers 0 Followers
Questions related from Davood Rezaeipour
As we know, an elliptic curve defined over Fq with a rational 2-torsion subgroup can be expressed in the special form (up to twists). Accordingly a natural question arises about the number of...
10 September 2016 5,787 3 View
Let HT denotes the statement of Hindman’s theorem. Within RCA0 one can prove that:1. HT implies ACA02. HT can be proved in ACA0+. An open question is the strength of Hindman’s theorem. Is HT...
15 July 2016 3,701 1 View