Rotem Zach

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This survey requires from the reader knowledge in field theory, group theory and number theory. Definitions An elliptic curve over a field is the set of pairs, or points, , , that satisfy the equation: , where. denotes all those points, with the infinity point. When the characteristic of then we can write where. is called the discriminant of. When a curve(More)
Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon(More)
  • 1