Acknowledgement
Supported by : Samsung Science Technology Foundation
References
- M. Bhargava and A. Shankar, Binary quartic forms having bounded invariants, and the boundedness of the average rank of elliptic curves, Ann. of Math. 181, (2015), no. 1, 191-242.
- H. B. Enderton, A Mathematical Introduction to Logic, 2nd edition, Academic Press, 2001.
- M. D. Fried and M. Jarden, Field Arithmetic, 3rd edition, Springer,Berlin, 2008.
- D. Marker, Model Theory: An Introduction, Springer, New York, 2002.
- J. Robinson, Definability and decision problems in arithmetic, J. Symbolic Logic 14 (1949), 98-114. https://doi.org/10.2307/2266510
- J. Robinson, The undecidability of algebraic rings and fields, Proc. Amer. Math. Soc. 10 (1959), 950-957. https://doi.org/10.1090/S0002-9939-1959-0112842-7
- K. Rubin and A. Silverberg, Ranks of elliptic curves in families of quadratic twists, Experiment. Math. 9 (2000), no. 4, 583-590. https://doi.org/10.1080/10586458.2000.10504661
- K. Rubin and A. Silverberg, Ranks of elliptic curves, Bull. Amer. Math. Soc. 39 (2002), no. 4, 455-471. https://doi.org/10.1090/S0273-0979-02-00952-7
- I. R. Shafarevich and J. Tate, The rank of elliptic curves, AMS Transl. 8 (1967), 917- 920.
- J. H. Silverman, The Arithmetic of Elliptic Curves, 2nd edition, Springer, New York, 2009.
- D. Ulmer, Elliptic curves with large rank over function fields, Ann. of Math. 155 (2002), no. 1, 295-315. https://doi.org/10.2307/3062158