@misc{Glazer,
  key    = {Glazer},
  title  = {{$\mathbb{Z}$} is {D}iophantine in {$\mathbb{Q}$}, {V}ersion 13},
  year   = {2026},
  note   = {Manuscript with no named author, November 7, 2026, public repository of Elliot Glazer, \url{https://github.com/elliotglazer/diophantine-z-q}, commit 9c0b3ab}
}

@misc{Note,
  key    = {Note},
  title  = {An existential definition of the integers in the rationals from reduced arithmetic inputs, third version},
  year   = {2026},
  note   = {Note with no named author, dated October 14, 2026, posted November 6, 2026, in the public repository \url{https://github.com/elliotglazer/diophantine-z-q}, commit 9c0b3ab, file {\def\UrlBreaks{\do\/\do\-}\path{research/2026-11-06-collaborator-notes/supplied/two-proofs-reduced-inputs-v3.tex}}}
}

@misc{McCarthy,
  author = {McCarthy, Jack},
  title  = {Lean: the frozen target's statement from two hypotheses (conditional; vendored {G}reen--{T}ao proof and {S}elberg sieve)},
  year   = {2026},
  note   = {Lean development and notes, pull request 24 to the public repository \url{https://github.com/elliotglazer/diophantine-z-q}, November 9--10, 2026, commit 0c65382}
}

@misc{Record,
  author = {Jaswal, Manvir},
  title  = {Programs and data for ``{A} proof that {$\mathbb{Z}$} is {D}iophantine in {$\mathbb{Q}$} through congruent-number twists''},
  year   = {2026},
  note   = {Zenodo, \DOI{10.5281/zenodo.24135695}}
}

@misc{OpenAI,
  author = {OpenAI},
  title  = {Hilbert's tenth problem over the rational numbers},
  year   = {2026},
  note   = {Preprint, October 6, 2026, \url{https://github.com/openai/math}, commit 3014888, folder {\def\UrlBreaks{\do\/\do\-}\path{preprints/Hilberts-tenth-problem-over-the-rational-numbers-October-6-2026}}}
}

@misc{OpenAIConverse,
  author = {OpenAI},
  title  = {A pointwise $2$-converse for elliptic curves with rational two-torsion},
  year   = {2026},
  note   = {Preprint, October 7, 2026, \url{https://github.com/openai/math}, commit 3014888, folder {\def\UrlBreaks{\do\/\do\-}\path{preprints/A-pointwise-2-converse-for-elliptic-curves-with-rational-two-torsion-October-7-2026}}}
}

@article{Robinson,
  author  = {Robinson, Julia},
  title   = {Definability and decision problems in arithmetic},
  journal = {J. Symbolic Logic},
  volume  = {14},
  year    = {1949},
  pages   = {98--114},
  note    = {\DOI{10.2307/2266510}}
}

@article{Poonen,
  author  = {Poonen, Bjorn},
  title   = {Characterizing integers among rational numbers with a universal-existential formula},
  journal = {Amer. J. Math.},
  volume  = {131},
  number  = {3},
  year    = {2009},
  pages   = {675--682},
  note    = {\DOI{10.1353/ajm.0.0057}}
}

@article{Koenigsmann,
  author  = {Koenigsmann, Jochen},
  title   = {Defining {$\mathbb{Z}$} in {$\mathbb{Q}$}},
  journal = {Ann. of Math. (2)},
  volume  = {183},
  number  = {1},
  year    = {2016},
  pages   = {73--93},
  note    = {\DOI{10.4007/annals.2016.183.1.2}}
}

@misc{KoenigsmannArXiv,
  author = {Koenigsmann, Jochen},
  title  = {Defining {$\mathbb{Z}$} in {$\mathbb{Q}$}},
  year   = {2013},
  note   = {Preprint, \arXiv{1011.3424v2}}
}

@article{Mazur,
  author  = {Mazur, Barry},
  title   = {Speculations about the topology of rational points: an up-date},
  journal = {Ast\'erisque},
  volume  = {228},
  year    = {1995},
  pages   = {165--181}
}

@incollection{Pheidas,
  author    = {Pheidas, Thanases},
  title     = {An effort to prove that the existential theory of {$\mathbb{Q}$} is undecidable},
  booktitle = {Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry},
  series    = {Contemp. Math.},
  volume    = {270},
  publisher = {Amer. Math. Soc.},
  address   = {Providence, RI},
  year      = {2000},
  note      = {pp.~237--252, \DOI{10.1090/conm/270/04376}}
}

@article{TYZ,
  author  = {Tian, Ye and Yuan, Xinyi and Zhang, Shou-Wu},
  title   = {Genus periods, genus points and congruent number problem},
  journal = {Asian J. Math.},
  volume  = {21},
  number  = {4},
  year    = {2017},
  pages   = {721--774},
  note    = {\DOI{10.4310/AJM.2017.v21.n4.a5}; Theorem~1.4 is Theorem~1.2 of \arXiv{1411.4728v1}}
}

@article{GrossZagier,
  author  = {Gross, Benedict H. and Zagier, Don B.},
  title   = {Heegner points and derivatives of {$L$}-series},
  journal = {Invent. Math.},
  volume  = {84},
  number  = {2},
  year    = {1986},
  pages   = {225--320},
  note    = {\DOI{10.1007/BF01388809}}
}

@article{BFH,
  author  = {Bump, Daniel and Friedberg, Solomon and Hoffstein, Jeffrey},
  title   = {Nonvanishing theorems for {$L$}-functions of modular forms and their derivatives},
  journal = {Invent. Math.},
  volume  = {102},
  number  = {3},
  year    = {1990},
  pages   = {543--618},
  note    = {\DOI{10.1007/BF01233440}}
}

@article{Redei,
  author  = {R\'edei, L\'aszl\'o},
  title   = {Arithmetischer {B}eweis des {S}atzes \"uber die {A}nzahl der durch vier teilbaren {I}nvarianten der absoluten {K}lassengruppe im quadratischen {Z}ahlk\"orper},
  journal = {J. Reine Angew. Math.},
  volume  = {171},
  year    = {1934},
  pages   = {55--60},
  note    = {\DOI{10.1515/crll.1934.171.55}}
}

@article{KW1,
  author  = {Khare, Chandrashekhar and Wintenberger, Jean-Pierre},
  title   = {Serre's modularity conjecture. {I}},
  journal = {Invent. Math.},
  volume  = {178},
  number  = {3},
  year    = {2009},
  pages   = {485--504},
  note    = {\DOI{10.1007/s00222-009-0205-7}}
}

@article{KW2,
  author  = {Khare, Chandrashekhar and Wintenberger, Jean-Pierre},
  title   = {Serre's modularity conjecture. {II}},
  journal = {Invent. Math.},
  volume  = {178},
  number  = {3},
  year    = {2009},
  pages   = {505--586},
  note    = {\DOI{10.1007/s00222-009-0206-6}}
}

@article{Kisin,
  author  = {Kisin, Mark},
  title   = {Modularity of 2-adic {B}arsotti--{T}ate representations},
  journal = {Invent. Math.},
  volume  = {178},
  number  = {3},
  year    = {2009},
  pages   = {587--634},
  note    = {\DOI{10.1007/s00222-009-0207-5}}
}

@article{Pan,
  author  = {Pan, Lue},
  title   = {The {F}ontaine--{M}azur conjecture in the residually reducible case},
  journal = {J. Amer. Math. Soc.},
  volume  = {35},
  number  = {4},
  year    = {2022},
  pages   = {1031--1169},
  note    = {\DOI{10.1090/jams/991}}
}

@article{Javanpeykar,
  author  = {Javanpeykar, Ariyan},
  title   = {Polynomial bounds for {A}rakelov invariants of {B}elyi curves},
  journal = {Algebra Number Theory},
  volume  = {8},
  number  = {1},
  year    = {2014},
  pages   = {89--140},
  note    = {\DOI{10.2140/ant.2014.8.89}}
}

@article{GaudronRemond,
  author  = {Gaudron, \'Eric and R\'emond, Ga\"el},
  title   = {Polarisations et isog\'enies},
  journal = {Duke Math. J.},
  volume  = {163},
  number  = {11},
  year    = {2014},
  pages   = {2057--2108},
  note    = {\DOI{10.1215/00127094-2782528}}
}

@article{KoymansPagano,
  author  = {Koymans, Peter and Pagano, Carlo},
  title   = {Hilbert's tenth problem via additive combinatorics},
  journal = {J. Amer. Math. Soc.},
  volume  = {40},
  year    = {2027},
  pages   = {195--234},
  note    = {\DOI{10.1090/jams/1081}}
}

@article{Pazuki,
  author  = {Pazuki, Fabien},
  title   = {Theta height and {F}altings height},
  journal = {Bull. Soc. Math. France},
  volume  = {140},
  number  = {1},
  year    = {2012},
  pages   = {19--49},
  note    = {\DOI{10.24033/bsmf.2623}}
}

@article{Buzzard,
  author  = {Buzzard, Kevin},
  title   = {Integral models of certain {S}himura curves},
  journal = {Duke Math. J.},
  volume  = {87},
  number  = {3},
  year    = {1997},
  pages   = {591--612},
  note    = {\DOI{10.1215/S0012-7094-97-08719-6}}
}

@book{Silverman,
  author    = {Silverman, Joseph H.},
  title     = {The Arithmetic of Elliptic Curves},
  edition   = {Second},
  series    = {Graduate Texts in Mathematics},
  volume    = {106},
  publisher = {Springer, Dordrecht},
  year      = {2009},
  note      = {\DOI{10.1007/978-0-387-09494-6}}
}

@book{SerreCourse,
  author    = {Serre, Jean-Pierre},
  title     = {A Course in Arithmetic},
  series    = {Graduate Texts in Mathematics},
  volume    = {7},
  publisher = {Springer-Verlag, New York-Heidelberg},
  year      = {1973}
}

@book{SerreLocal,
  author    = {Serre, Jean-Pierre},
  title     = {Local Fields},
  series    = {Graduate Texts in Mathematics},
  volume    = {67},
  publisher = {Springer-Verlag, New York-Berlin},
  year      = {1979}
}

@book{NSW,
  author    = {Neukirch, J\"urgen and Schmidt, Alexander and Wingberg, Kay},
  title     = {Cohomology of Number Fields},
  edition   = {Second},
  series    = {Grundlehren der mathematischen Wissenschaften},
  volume    = {323},
  publisher = {Springer, Berlin},
  year      = {2008}
}

@article{Shimura,
  author  = {Shimura, Goro},
  title   = {On elliptic curves with complex multiplication as factors of the {J}acobians of modular function fields},
  journal = {Nagoya Math. J.},
  volume  = {43},
  year    = {1971},
  pages   = {199--208},
  note    = {\DOI{10.1017/S0027763000014471}}
}

@article{Monsky,
  author  = {Heath-Brown, David Rodney},
  title   = {The size of {S}elmer groups for the congruent number problem, {II}},
  journal = {Invent. Math.},
  volume  = {118},
  number  = {2},
  year    = {1994},
  pages   = {331--370},
  note    = {With an appendix by P. Monsky, \DOI{10.1007/BF01231536}}
}

@misc{Smith,
  author = {Smith, Alexander},
  title  = {The congruent numbers have positive natural density},
  year   = {2016},
  note   = {Preprint, \arXiv{1603.08479v2}}
}

@article{Chaiken,
  author  = {Chaiken, Seth},
  title   = {A combinatorial proof of the all minors matrix tree theorem},
  journal = {SIAM J. Algebraic Discrete Methods},
  volume  = {3},
  number  = {3},
  year    = {1982},
  pages   = {319--329},
  note    = {\DOI{10.1137/0603033}}
}

@article{Heilbronn,
  author  = {Heilbronn, Hans},
  title   = {On the class-number in imaginary quadratic fields},
  journal = {Quart. J. Math.},
  volume  = {5},
  year    = {1934},
  pages   = {150--160},
  note    = {\DOI{10.1093/qmath/os-5.1.150}}
}

@article{Faltings,
  author  = {Faltings, Gerd},
  title   = {Endlichkeitss\"atze f\"ur abelsche {V}ariet\"aten \"uber {Z}ahlk\"orpern},
  journal = {Invent. Math.},
  volume  = {73},
  number  = {3},
  year    = {1983},
  pages   = {349--366},
  note    = {\DOI{10.1007/BF01388432}; erratum, Invent. Math. \textbf{75} (1984), 381}
}

@article{SilverbergZarhin,
  author  = {Silverberg, Alice and Zarhin, Yuri G.},
  title   = {Semistable reduction and torsion subgroups of abelian varieties},
  journal = {Ann. Inst. Fourier (Grenoble)},
  volume  = {45},
  number  = {2},
  year    = {1995},
  pages   = {403--420},
  note    = {\DOI{10.5802/aif.1459}}
}

@article{ArReynaGajdaPetersen,
  author  = {Arias-de-Reyna, Sara and Gajda, Wojciech and Petersen, Sebastian},
  title   = {Big monodromy theorem for abelian varieties over finitely generated fields},
  journal = {J. Pure Appl. Algebra},
  volume  = {217},
  number  = {2},
  year    = {2013},
  pages   = {218--229},
  note    = {\DOI{10.1016/j.jpaa.2012.06.010}; numbering of results as in the authors' copy of June 19, 2012}
}

@article{SerreDuke,
  author  = {Serre, Jean-Pierre},
  title   = {Sur les repr\'esentations modulaires de degr\'e {$2$} de {${\rm Gal}(\overline{\mathbf{Q}}/\mathbf{Q})$}},
  journal = {Duke Math. J.},
  volume  = {54},
  number  = {1},
  year    = {1987},
  pages   = {179--230},
  note    = {\DOI{10.1215/S0012-7094-87-05413-5}}
}

@article{Raynaud,
  author  = {Raynaud, Michel},
  title   = {Sch\'emas en groupes de type {$(p,\dots,p)$}},
  journal = {Bull. Soc. Math. France},
  volume  = {102},
  year    = {1974},
  pages   = {241--280},
  note    = {\DOI{10.24033/bsmf.1779}}
}

@article{DeligneSerre,
  author  = {Deligne, Pierre and Serre, Jean-Pierre},
  title   = {Formes modulaires de poids {$1$}},
  journal = {Ann. Sci. \'Ecole Norm. Sup. (4)},
  volume  = {7},
  year    = {1974},
  pages   = {507--530},
  note    = {\DOI{10.24033/asens.1277}}
}

@article{Edixhoven,
  author  = {Edixhoven, Bas},
  title   = {The weight in {S}erre's conjectures on modular forms},
  journal = {Invent. Math.},
  volume  = {109},
  number  = {3},
  year    = {1992},
  pages   = {563--594},
  note    = {\DOI{10.1007/BF01232041}}
}

@incollection{Diamond,
  author    = {Diamond, Fred},
  title     = {The refined conjecture of {S}erre},
  booktitle = {Elliptic Curves, Modular Forms, \& {F}ermat's Last Theorem ({H}ong {K}ong, 1993)},
  editor    = {Coates, John and Yau, S.-T.},
  publisher = {Int. Press, Cambridge, MA},
  year      = {1995},
  note      = {pp.~22--37}
}

@misc{Wintenberger,
  author = {Wintenberger, Jean-Pierre},
  title  = {On {S}erre's modularity conjecture},
  year   = {2009},
  note   = {Lecture notes, \url{https://math.sbg.ac.at/fuchsc/A&G/Wintenberger-2009.pdf}}
}

@incollection{DDT,
  author    = {Darmon, Henri and Diamond, Fred and Taylor, Richard},
  title     = {Fermat's last theorem},
  booktitle = {Elliptic Curves, Modular Forms \& {F}ermat's Last Theorem ({H}ong {K}ong, 1993)},
  publisher = {Int. Press, Cambridge, MA},
  year      = {1997},
  note      = {pp.~2--140; the numbering is that of the authors' file of September 9, 2007}
}

@article{Williams,
  author  = {Williams, Kenneth S.},
  title   = {Mertens' theorem for arithmetic progressions},
  journal = {J. Number Theory},
  volume  = {6},
  year    = {1974},
  pages   = {353--359},
  note    = {\DOI{10.1016/0022-314X(74)90032-8}}
}

@article{Mertens,
  author  = {Mertens, Franz},
  title   = {Ein {B}eitrag zur analytischen {Z}ahlentheorie},
  journal = {J. Reine Angew. Math.},
  volume  = {78},
  year    = {1874},
  pages   = {46--62},
  note    = {\DOI{10.1515/crll.1874.78.46}}
}

@misc{GTZerratum,
  author = {Green, Ben and Tao, Terence and Ziegler, Tamar},
  title  = {Erratum for ``{A}n inverse theorem for the {G}owers {$U^{s+1}[N]$}-norm''},
  year   = {2024},
  note   = {Authors' erratum to Ann. of Math. (2) \textbf{176} (2012), 1231--1372, \url{https://people.maths.ox.ac.uk/greenbj/papers/GI(s)-erratum.pdf}}
}

@article{MazurTopology,
  author  = {Mazur, Barry},
  title   = {The topology of rational points},
  journal = {Experiment. Math.},
  volume  = {1},
  number  = {1},
  year    = {1992},
  pages   = {35--45},
  note    = {\DOI{10.1080/10586458.1992.10504244}}
}

@article{Matiyasevich,
  author  = {Matiyasevich, Yuri},
  title   = {Diophantine representation of enumerable predicates},
  journal = {Math. USSR-Izv.},
  volume  = {5},
  number  = {1},
  year    = {1971},
  pages   = {1--28},
  note    = {\DOI{10.1070/IM1971v005n01ABEH001004}}
}

@article{Denef,
  author  = {Denef, Jan},
  title   = {Diophantine sets over algebraic integer rings. {II}},
  journal = {Trans. Amer. Math. Soc.},
  volume  = {257},
  number  = {1},
  year    = {1980},
  pages   = {227--236},
  note    = {\DOI{10.1090/S0002-9947-1980-0549163-X}}
}

@incollection{PoonenRankOne,
  author    = {Poonen, Bjorn},
  title     = {Using elliptic curves of rank one towards the undecidability of {H}ilbert's tenth problem over rings of algebraic integers},
  booktitle = {Algorithmic Number Theory ({S}ydney, 2002)},
  series    = {Lecture Notes in Comput. Sci.},
  volume    = {2369},
  publisher = {Springer, Berlin},
  year      = {2002},
  note      = {pp.~33--42, \DOI{10.1007/3-540-45455-1_4}}
}

@article{CPZ,
  author  = {Cornelissen, Gunther and Pheidas, Thanases and Zahidi, Karim},
  title   = {Division-ample sets and the {D}iophantine problem for rings of integers},
  journal = {J. Th\'eor. Nombres Bordeaux},
  volume  = {17},
  number  = {3},
  year    = {2005},
  pages   = {727--735},
  note    = {\DOI{10.5802/jtnb.516}}
}

@misc{Sun,
  author = {Sun, Zhi-Wei},
  title  = {86 unknowns for {H}ilbert's tenth problem over the rationals},
  year   = {2026},
  note   = {Preprint, \arXiv{2610.20691v2}}
}

@incollection{Elkies,
  author    = {Elkies, Noam D.},
  title     = {Shimura curve computations},
  booktitle = {Algorithmic Number Theory ({P}ortland, {OR}, 1998)},
  series    = {Lecture Notes in Comput. Sci.},
  volume    = {1423},
  publisher = {Springer, Berlin},
  year      = {1998},
  note      = {pp.~1--47, \DOI{10.1007/BFb0054850}; numbering as in \arXiv{math/0005160v1}}
}

@incollection{RibetAV,
  author    = {Ribet, Kenneth A.},
  title     = {Abelian varieties over {$\mathbb{Q}$} and modular forms},
  booktitle = {Algebra and Topology 1992 ({T}aej\u{o}n)},
  publisher = {Korea Adv. Inst. Sci. Tech., Taej\u{o}n},
  year      = {1992},
  note      = {pp.~53--79}
}

@misc{vKK,
  author = {von K\"anel, Rafael and Kret, Arno},
  title  = {Integral points on coarse {H}ilbert moduli schemes},
  year   = {2023},
  note   = {Preprint, \arXiv{2307.06944v1}}
}

@article{vonKanel,
  author  = {von K\"anel, Rafael},
  title   = {The effective {S}hafarevich conjecture for abelian varieties of {$\mathrm{GL}_2$}-type},
  journal = {Forum Math. Sigma},
  volume  = {9},
  year    = {2021},
  pages   = {Paper No. e39, 29 pp.},
  note    = {\DOI{10.1017/fms.2021.29}}
}

@article{PastenShimura,
  author  = {Pasten, Hector},
  title   = {Shimura curves and the abc conjecture},
  journal = {J. Number Theory},
  volume  = {254},
  year    = {2024},
  pages   = {214--335},
  note    = {\DOI{10.1016/j.jnt.2023.07.002}}
}

@article{GreenTao,
  author  = {Green, Benjamin and Tao, Terence},
  title   = {Linear equations in primes},
  journal = {Ann. of Math. (2)},
  volume  = {171},
  number  = {3},
  year    = {2010},
  pages   = {1753--1850},
  note    = {\DOI{10.4007/annals.2010.171.1753}}
}

@article{GreenTaoMobius,
  author  = {Green, Ben and Tao, Terence},
  title   = {The {M}\"obius function is strongly orthogonal to nilsequences},
  journal = {Ann. of Math. (2)},
  volume  = {175},
  number  = {2},
  year    = {2012},
  pages   = {541--566},
  note    = {\DOI{10.4007/annals.2012.175.2.3}}
}

@article{GTZ,
  author  = {Green, Ben and Tao, Terence and Ziegler, Tamar},
  title   = {An inverse theorem for the {G}owers {$U^{s+1}[N]$}-norm},
  journal = {Ann. of Math. (2)},
  volume  = {176},
  number  = {2},
  year    = {2012},
  pages   = {1231--1372},
  note    = {\DOI{10.4007/annals.2012.176.2.11}}
}