{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T15:16:33Z","timestamp":1773242193813,"version":"3.50.1"},"reference-count":103,"publisher":"Duke University Press","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2013,1,1]]},"DOI":"10.1215\/00294527-2143961","type":"journal-article","created":{"date-parts":[[2013,8,9]],"date-time":"2013-08-09T13:09:43Z","timestamp":1376053783000},"source":"Crossref","is-referenced-by-count":5,"title":["Algebraization, Transcendence, and D-Group Schemes"],"prefix":"10.1215","volume":"54","author":[{"given":"Jean-Beno\u00eet","family":"Bost","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Andr\u00e9, Y., <i>Une introduction aux motifs: Motifs purs, motifs mixtes, p\u00e9riodes<\/i>, vol. 17 of <i>Panoramas et Synth\u00e8ses<\/i>, Soci\u00e9t\u00e9 Math\u00e9matique de France, Paris, 2004."},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Andreatta, F., and L. Barbieri-Viale, \u201cCrystalline realizations of 1-motives,\u201d <i>Mathematische Annalen<\/i>, vol. 331 (2005), pp. 111\u201372.","DOI":"10.1007\/s00208-004-0576-4"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Andreatta, F., and A. Bertapelle, \u201cUniversal extension crystals of $1$-motives and applications,\u201d <i>Journal of Pure and Applied Algebra<\/i>, vol. 215 (2011), pp. 1919\u201344.","DOI":"10.1016\/j.jpaa.2010.11.004"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Andreotti, A., \u201cTh\u00e9or\u00e8mes de d\u00e9pendance alg\u00e9brique sur les espaces complexes pseudo-concaves,\u201d <i>Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de France<\/i>, vol. 91 (1963), pp. 1\u201338.","DOI":"10.24033\/bsmf.1587"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Anonymous (attributed to J.-P. Serre), \u201cCorrespondence,\u201d <i>American Journal of Mathematics<\/i>, vol. 78 (1956), p. 898.","DOI":"10.2307\/2372475"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Baker, A., and G. W\u00fcstholz, <i>Logarithmic Forms and Diophantine Geometry<\/i>, vol. 9 of <i>New Mathematical Monographs<\/i>, Cambridge University Press, Cambridge, 2007.","DOI":"10.1017\/CBO9780511542862"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Berthelot, P., L. Breen, and W. Messing, <i>Th\u00e9orie de Dieudonn\u00e9 cristalline, II<\/i>, vol. 930 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1982.","DOI":"10.1007\/BFb0093025"},{"key":"8","unstructured":"[8] Bertrand, D., \u201cEndomorphismes de groupes alg\u00e9briques: Applications arithm\u00e9tiques,\u201d pp. 1\u201345 in <i>Diophantine Approximations and Transcendental Numbers (Luminy, 1982)<\/i>, vol. 31 of <i>Progress in Mathematics<\/i>, Birkh\u00e4user, Boston, 1983."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Bertrand, D., and A. Pillay, \u201cA Lindemann\u2013Weierstrass theorem for semi-abelian varieties over function fields,\u201d <i>Journal of the American Mathematical Society<\/i>, vol. 23 (2010), pp. 491\u2013533.","DOI":"10.1090\/S0894-0347-09-00653-5"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Birkenhake, C., and H. Lange, <i>Complex Abelian Varieties<\/i>, 2nd ed., vol. 302 of <i>Grundlehren der Mathematischen Wissenschaften<\/i>, Springer, Berlin, 2004.","DOI":"10.1007\/978-3-662-06307-1"},{"key":"11","unstructured":"[11] Bogomolov, F., and M. L. McQuillan \u201cRational curves on foliated varieties,\u201d preprint, 2001."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] Bombieri, E., \u201cAlgebraic values of meromorphic maps,\u201d <i>Inventiones Mathematicae<\/i>, vol. 10 (1970), pp. 267\u201387.","DOI":"10.1007\/BF01418775"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Bost, J.-B., \u201cAlgebraic leaves of algebraic foliations over number fields,\u201d <i>Publications Math\u00e9matiques. Institut de Hautes \u00c9tudes Scientifiques<\/i>, vol. 93 (2001), pp. 161\u2013221.","DOI":"10.1007\/s10240-001-8191-3"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Bost, J.-B., \u201cGerms of analytic varieties in algebraic varieties: Canonical metrics and arithmetic algebraization theorems,\u201d pp. 371\u2013418 in <i>Geometric Aspects of Dwork Theory<\/i>, vol. II, edited by A. Adolphson et al., Walter de Gruyter, Berlin, 2004.","DOI":"10.1515\/9783110198133.1.371"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Bost, J.-B., \u201cEvaluation maps, slopes, and algebraicity criteria,\u201d pp. 537\u201362 in <i>I<\/i>nternational Congress of Mathematicians (Madrid, 2006), vol. II, European Mathematical Society, Z\u00fcrich, 2006.","DOI":"10.4171\/022-2\/24"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Bost, J.-B., and A. Chambert-Loir, \u201cAnalytic curves in algebraic varieties over number fields,\u201d pp. 69\u2013124 in <i>Algebra, Arithmetic, and Geometry: In Honor of Yu. I. Manin<\/i>, vol. I, vol. 269 of <i>Progress in Mathematics<\/i>, Birkh\u00e4user, Boston, 2009.","DOI":"10.1007\/978-0-8176-4745-2_3"},{"key":"17","unstructured":"[17] Bost, J.-B., and K. K\u00fcnnemann, \u201cHermitian vector bundles and extension groups on arithmetic schemes, II: The arithmetic Atiyah extension, <i>Ast\u00e9risque<\/i>, vol. 327 (2009), pp. 361\u2013424."},{"key":"18","unstructured":"[18] Bouscaren, E., ed., <i>Model Theory and Algebraic Geometry: An Introduction to E. Hrushovski\u2019s Proof of the Geometric Mordell\u2013Lang Conjecture<\/i>, vol. 1696of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1998."},{"key":"19","unstructured":"[19] Brylinski, J.-L., ```$1$-motifs\u2019 et formes automorphes (th\u00e9orie arithm\u00e9tique des domaines de Siegel),\u201d pp. 43\u2013106 in <i>Conference on Automorphic Theory (Dijon, France, 1981)<\/i>, vol. 15 of <i>Publications Math\u00e9matiques de l\u2018Universit\u00e9 de Paris VII<\/i>, Universit\u00e9 de Paris VII, Paris, 1983."},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Buium, A., <i>Differential Function Fields and Moduli of Algebraic Varieties<\/i>, vol. 1226 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1986.","DOI":"10.1007\/BFb0101622"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Buium, A., <i>Differential Algebraic Groups of Finite Dimension<\/i>, vol. 1506 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1992.","DOI":"10.1007\/BFb0087235"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] Buium, A., \u201cIntersections in jet spaces and a conjecture of S. Lang,\u201d <i>Annals of Mathematics (2)<\/i>, vol. 136 (1992), pp. 557\u201367.","DOI":"10.2307\/2946600"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] Buium, A., \u201cEffective bound for the geometric Lang conjecture,\u201d <i>Duke Mathematical Journal<\/i>, vol. 71 (1993), pp. 475\u201399.","DOI":"10.1215\/S0012-7094-93-07120-7"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] Buium, A., \u201cGeometry of differential polynomial functions, I: Algebraic groups,\u201d <i>American Journal of Mathematics<\/i>, vol. 115 (1993), pp. 1385\u20131444.","DOI":"10.2307\/2374970"},{"key":"25","unstructured":"[25] Buium, A., <i>Differential Algebra and Diophantine Geometry<\/i>, Actualit\u00e9s Math\u00e9matiques, Hermann, Paris, 1994."},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] Buium, A., and J. F. Voloch, \u201cIntegral points of abelian varieties over function fields of characteristic zero,\u201d <i>Mathematische Annalen<\/i>, vol. 297 (1993), pp. 303\u20137.","DOI":"10.1007\/BF01459503"},{"key":"27","unstructured":"[27] Cartan, H., and J.-P. Serre, \u201cUn th\u00e9or\u00e8me de finitude concernant les vari\u00e9t\u00e9s analytiques compactes,\u201d <i>Comptes Rendus Acad\u00e9mie des Sciences. Paris<\/i>, vol. 237 (1953), pp. 128\u201330."},{"key":"28","unstructured":"[28] Chambert-Loir, A., \u201cTh\u00e9or\u00e8mes d\u2019alg\u00e9bricit\u00e9 en g\u00e9om\u00e9trie diophantienne (d\u2019apr\u00e8s J.-B. Bost, Y. Andr\u00e9, D. and G. Chudnovsky),\u201d <i>Ast\u00e9risque<\/i>, vol. 282 (2002), pp. 175\u2013209, S\u00e9minaire Bourbaki, vol. 2000\/2001, no. 886."},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Chow, W.-L., \u201cOn compact complex analytic varieties,\u201d <i>American Journal of Mathematics<\/i>, vol. 71 (1949), pp. 893\u2013914.","DOI":"10.2307\/2372375"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] Chow, W.-L., \u201cFormal functions on homogeneous spaces,\u201d <i>Inventiones Mathematicae<\/i>, vol. 86 (1986), pp. 115\u201330.","DOI":"10.1007\/BF01391497"},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] Chudnovsky, D. V., and G. V. Chudnovsky, \u201cApplications of Pad\u00e9 approximations to the Grothendieck conjecture on linear differential equations,\u201d pp. 52\u2013100 in <i>Number Theory (New York 1983\u201384)<\/i>, vol. 1135 of <i>Lectures Notes in Mathematics<\/i>, Springer, Berlin, 1985.","DOI":"10.1007\/BFb0074601"},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] Chudnovsky, D. V., and G. V. Chudnovsky, \u201cPad\u00e9 approximations and Diophantine geometry,\u201d <i>Proceedings of the National Academy of Sciences of the USA<\/i>, vol. 82(1985), pp. 2212\u201316.","DOI":"10.1073\/pnas.82.8.2212"},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] Coleman, R. F., \u201cThe universal vectorial bi-extension and $p$-adic heights,\u201d <i>Inventiones Mathematicae<\/i>, vol. 103 (1991), pp. 631\u201350.","DOI":"10.1007\/BF01239529"},{"key":"34","doi-asserted-by":"crossref","unstructured":"[34] Conforto, F., \u201cSopra le trasformazioni in s\u00e8 della variet\u00e0 di Jacobi relativa ad una curva di genere effettivo diverso dal genere virtuale, in ispecie nel caso di genere effettivo nullo,\u201d <i>Annali di Matematica Pura ed Applicata (4)<\/i>, vol. 27 (1948), pp. 273\u201391.","DOI":"10.1007\/BF02415571"},{"key":"35","unstructured":"[35] Conforto, F., \u201cSulla nozione di corpi equivalenti e di corpi coincidenti nella teoria delle funzioni quasi abeliane,\u201d <i>Rendiconti del Seminario Matematico della Universit\u00e0 di Padova<\/i>, vol. 18(1949), pp. 292\u2013310."},{"key":"36","doi-asserted-by":"crossref","unstructured":"[36] Deligne, P., \u201cTh\u00e9orie de Hodge, II,\u201d <i>Publications Math\u00e9matiques. Institut de Hautes \u00c9tudes Scientifiques<\/i>, vol. 40 (1971), pp. 5\u201357.","DOI":"10.1007\/BF02684692"},{"key":"37","doi-asserted-by":"crossref","unstructured":"[37] Demailly, J.-P., \u201cFormules de Jensen en plusieurs variables et applications arithm\u00e9tiques,\u201d <i>Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de France<\/i>, vol. 110 (1982), pp. 75\u2013102.","DOI":"10.24033\/bsmf.1954"},{"key":"38","unstructured":"[38] Ehresmann, C., \u201cLes connexions infinit\u00e9simales dans un espace fibr\u00e9 diff\u00e9rentiable,\u201d pp. 29\u201355 in <i>Colloque de Topologie (\u00e9spaces fibres), Bruxelles, 1950<\/i>, Masson, Paris, 1951."},{"key":"39","doi-asserted-by":"crossref","unstructured":"[39] Faltings, G., \u201cAlgebraisation of some formal vector bundles,\u201d <i>Annals of Mathematics (2)<\/i>, vol. 110 (1979), pp. 501\u201314.","DOI":"10.2307\/1971235"},{"key":"40","doi-asserted-by":"crossref","unstructured":"[40] Faltings, G., \u201cSome theorems about formal functions,\u201d <i>Publications of the Research Institute for Mathematical Sciences<\/i>, vol. 16 (1980), pp. 721\u201337.","DOI":"10.2977\/prims\/1195186927"},{"key":"41","doi-asserted-by":"crossref","unstructured":"[41] Faltings, G., \u201cFormale Geometrie und homogene R\u00e4ume,\u201d <i>Inventiones Mathematicae<\/i>, vol. 64 (1981), pp. 123\u201365.","DOI":"10.1007\/BF01393937"},{"key":"42","doi-asserted-by":"crossref","unstructured":"[42] Gasbarri, C., \u201cAnalytic subvarieties with many rational points,\u201d <i>Mathematische Annalen<\/i>, vol. 346 (2010), pp. 199\u2013243.","DOI":"10.1007\/s00208-009-0394-9"},{"key":"43","doi-asserted-by":"crossref","unstructured":"[43] Gillet, H., \u201cDifferential algebra: A scheme theory approach,\u201d pp. 95\u2013123 in <i>Differential Algebra and Related Topics (Newark, NJ, 2000)<\/i>, World Sci. Publ., River Edge, NJ, 2002.","DOI":"10.1142\/9789812778437_0003"},{"key":"44","doi-asserted-by":"crossref","unstructured":"[44] Grothendieck, A., <i>\u00c9<\/i>l\u00e9ments de g\u00e9om\u00e9trie alg\u00e9brique, III: \u00c9tude cohomologique des faisceaux coh\u00e9rents, I, vol. 11 of <i>Publications Math\u00e9matiques. Institut de Hautes \u00c9tudes Scientifiques<\/i>, 1961.","DOI":"10.1007\/BF02684274"},{"key":"45","unstructured":"[45] Grothendieck, A., <i>Fondements de la g\u00e9om\u00e9trie alg\u00e9brique. [Extraits du S\u00e9minaire Bourbaki, 1957\u20131962.]<\/i>, Secr\u00e9tariat math\u00e9matique, Paris, 1962."},{"key":"46","doi-asserted-by":"crossref","unstructured":"[46] Grothendieck, A., \u201cOn the de Rham cohomology of algebraic varieties,\u201d <i>Publications Math\u00e9matiques. Institut de Hautes \u00c9tudes Scientifiques<\/i>, vol. 29 (1966), pp. 95\u2013103.","DOI":"10.1007\/BF02684807"},{"key":"47","unstructured":"[47] Grothendieck, A., <i>Cohomologie locale des faisceaux coh\u00e9rents et th\u00e9or\u00e8mes de Lefschetz locaux et globaux<\/i>. S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9brique du Bois-Marie 1962 (SGA 2), vol. 2 of <i>Advanced Studies in Pure Mathematics<\/i>, North-Holland, Amsterdam; Masson et Cie, Paris, 1968."},{"key":"48","unstructured":"[48] Gunning, R. C., <i>Introduction to Holomorphic Functions of Several Variables, Vol. II: Local Theory<\/i>, Wadsworth and Brooks\/Cole Mathematics Series, Wadsworth and Brooks\/Cole, Monterey, CA, 1990."},{"key":"49","doi-asserted-by":"crossref","unstructured":"[49] Hartshorne, R., \u201cCohomological dimension of algebraic varieties,\u201d <i>Annals of Mathematics (2)<\/i>, vol. 88 (1968), pp. 403\u201350.","DOI":"10.2307\/1970720"},{"key":"50","doi-asserted-by":"crossref","unstructured":"[50] Hartshorne, R., <i>Ample Subvarieties of Algebraic Varieties<\/i>, vol. 156 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1970.","DOI":"10.1007\/BFb0067839"},{"key":"51","doi-asserted-by":"crossref","unstructured":"[51] Hartshorne, R., \u201cOn the De Rham cohomology of algebraic varieties,\u201d <i>Publications Math\u00e9matiques. Institut de Hautes \u00c9tudes Scientifiques<\/i>, vol. 45 (1975), pp. 5\u201399.","DOI":"10.1007\/BF02684298"},{"key":"52","unstructured":"[52] Herblot, M., \u201cAlgebraic points on meromorphic curves,\u201d preprint, arXiv:1204.6336v1 [math. NT]."},{"key":"53","doi-asserted-by":"crossref","unstructured":"[53] Hironaka, H., and H. Matsumura, \u201cFormal functions and formal embeddings,\u201d <i>Journal of the Mathematical Society of Japan<\/i>, vol. 20 (1968), pp. 52\u201382.","DOI":"10.2969\/jmsj\/02010052"},{"key":"54","unstructured":"[54] Hodge, W. V. D., <i>The Theory and Applications of Harmonic Integrals<\/i>, Cambridge University Press, Cambridge, England: Macmillan, New York, 1941."},{"key":"55","doi-asserted-by":"crossref","unstructured":"[55] Hrushovski, E., \u201cThe Mordell-Lang conjecture for function fields,\u201d <i>Journal of the American Mathematical Society<\/i>, vol. 9 (1996), pp. 667\u2013690.","DOI":"10.1090\/S0894-0347-96-00202-0"},{"key":"56","doi-asserted-by":"crossref","unstructured":"[56] Hrushovski, E., and B. Zilber, \u201cZariski geometries,\u201d <i>Journal of the American Mathematical Society<\/i>, vol. 9 (1996), pp. 1\u201356.","DOI":"10.1090\/S0894-0347-96-00180-4"},{"key":"57","doi-asserted-by":"crossref","unstructured":"[57] Illusie, L., \u201cCrystalline cohomology,\u201d pp. 43\u201370 in <i>Motives (Seattle, 1991)<\/i>, vol. 55 of <i>Proceedings of Symposia in Pure Mathematics<\/i>, American Mathematical Society, Providence, 1994.","DOI":"10.1090\/pspum\/055.1\/1265522"},{"key":"58","unstructured":"[58] Illusie, L., \u201cGrothendieck\u2019s existence theorem in formal geometry,\u201d pp. 179\u2013233 in <i>Fundamental Algebraic Geometry<\/i>, vol. 123 of <i>Mathematical Surveys and Monographs<\/i>, American Mathematical Society, Providence, 2005."},{"key":"59","doi-asserted-by":"crossref","unstructured":"[59] Jannsen, U., <i>Mixed Motives and Algebraic $K$-Theory<\/i>, with appendices by S. Bloch and C. Schoen, vol. 1400 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1990.","DOI":"10.1007\/BFb0085080"},{"key":"60","doi-asserted-by":"crossref","unstructured":"[60] Kebekus, S., L. Sol\u00e1 Conde, and M. Toma, \u201cRationally connected foliations after Bogomolov and McQuillan,\u201d <i>Journal of Algebraic Geometry<\/i>, vol. 16 (2007), pp. 65\u201381.","DOI":"10.1090\/S1056-3911-06-00435-8"},{"key":"61","doi-asserted-by":"crossref","unstructured":"[61] Kodaira, K., and D. C. Spencer, \u201cDivisor class groups on algebraic varieties,\u201d <i>Proceedings of the National Academy of Sciences of the USA<\/i>, vol. 39(1953), pp. 872\u201377.","DOI":"10.1073\/pnas.39.8.872"},{"key":"62","doi-asserted-by":"crossref","unstructured":"[62] Kodaira, K., and D. C. Spencer, \u201cGroups of complex line bundles over compact K\u00e4hler varieties,\u201d <i>Proceedings of the National Academy of Sciences of the USA<\/i>, vol. 39(1953), pp. 868\u201372.","DOI":"10.1073\/pnas.39.8.868"},{"key":"63","unstructured":"[63] Kohn, J. J., P. A. Griffiths, H. Goldschmidt, E. Bombieri, B. Cenkl, P. Garabedian, and L. Nirenberg, \u201cDonald C. Spencer (1912\u20132001),\u201d <i>Notices of the American Mathematical Society<\/i>, vol. 51 (2004), pp. 17\u201329."},{"key":"64","doi-asserted-by":"crossref","unstructured":"[64] Kowalski, P., and A. Pillay, \u201cQuantifier elimination for algebraic $D$-groups,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 358 (2006), pp. 167\u201381.","DOI":"10.1090\/S0002-9947-05-03820-1"},{"key":"65","doi-asserted-by":"crossref","unstructured":"[65] Lang, S., \u201cTranscendental points on group varieties,\u201d <i>Topology<\/i>, vol. 1 (1962), pp. 313\u201318.","DOI":"10.1016\/0040-9383(62)90018-6"},{"key":"66","doi-asserted-by":"crossref","unstructured":"[66] Lang, S., \u201cAlgebraic values of meromorphic functions,\u201d <i>Topology<\/i>, vol. 3 (1965), pp. 183\u201391.","DOI":"10.1016\/0040-9383(65)90042-X"},{"key":"67","doi-asserted-by":"crossref","unstructured":"[67] Lang, S., \u201cAlgebraic values of meromorphic functions, II,\u201d <i>Topology<\/i>, vol. 5 (1966), pp. 363\u201370.","DOI":"10.1016\/0040-9383(66)90028-0"},{"key":"68","unstructured":"[68] Lang, S., <i>Introduction to Transcendental Numbers<\/i>, Addison-Wesley Series in Mathematics, Addison-Wesley, Reading, MA; London, Ontario, 1966."},{"key":"69","unstructured":"[69] Le Potier, J., \u201cFibr\u00e9s de Higgs et syst\u00e8mes locaux,\u201d <i>Ast\u00e9risque<\/i>, vol. 201-203 (1991), pp. 221\u201368, S\u00e9minaire Bourbaki 1990\/91, no. 737."},{"key":"70","doi-asserted-by":"crossref","unstructured":"[70] Malgrange, B., \u201cDifferential algebraic groups,\u201d pp. 292\u2013312 in <i>Algebraic Approach to Differential Equations<\/i>, World Scientific, Hackensack, NJ, 2010.","DOI":"10.1142\/9789814273244_0007"},{"key":"71","unstructured":"[71] Manin, Ju. I., \u201cAlgebraic curves over fields with differentiation\u201d (in Russian), <i>Izvestiya Akademii Nauk SSSR Seriya Matematicheskaya<\/i>, vol. 22 (1958), pp. 737\u201356."},{"key":"72","unstructured":"[72] Manin, Ju. I., \u201cThe Hasse\u2013Witt matrix of an algebraic curve,\u201d <i>Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya<\/i>, vol. 25 (1961), pp. 153\u201372."},{"key":"73","unstructured":"[73] Manin, Ju. I., \u201cRational points on algebraic curves over function fields,\u201d <i>Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya<\/i>, vol. 27 (1963), pp. 1395\u2013440."},{"key":"74","unstructured":"[74] Marker, D., \u201cManin kernels,\u201d pp. 1\u201321 in <i>Connections Between Model Theory and Algebraic and Analytic Geometry<\/i>, vol. 6 of <i>Quaderni di Matematica<\/i>, Dept. Math., Seconda Univ. Napoli, Caserta, 2000."},{"key":"75","doi-asserted-by":"crossref","unstructured":"[75] Mazur, B., and W. Messing, <i>Universal Extensions and One Dimensional Crystalline Cohomology<\/i>, vol. 370 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1974.","DOI":"10.1007\/BFb0061628"},{"key":"76","unstructured":"[76] Messing, W., \u201cThe universal extension of an abelian variety by a vector group,\u201d pp. 359\u201372 in <i>Symposia Mathematica, Vol. XI (Rome, 1972)<\/i>, Academic Press, London, 1973."},{"key":"77","unstructured":"[77] Mumford, D., <i>Algebraic Geometry, I: Complex Projective Varieties<\/i>, vol. 221of <i>Grundlehren der Mathematischen Wissenschaften<\/i>, Springer, Berlin, 1976."},{"key":"78","doi-asserted-by":"crossref","unstructured":"[78] Oda, T., \u201cThe first de Rham cohomology group and Dieudonn\u00e9 modules,\u201d <i>Annales Scientifiques de l\u2019\u00c9cole Normale Sup\u00e9rieure (4)<\/i>, vol. 2(1969), pp. 63\u2013135.","DOI":"10.24033\/asens.1175"},{"key":"79","doi-asserted-by":"crossref","unstructured":"[79] Pillay, A., \u201cModel theory and Diophantine geometry,\u201d <i>Bulletin of the American Mathematical Society (N.S.)<\/i>, vol. 34 (1997), pp. 405\u201322.","DOI":"10.1090\/S0273-0979-97-00730-1"},{"key":"80","doi-asserted-by":"crossref","unstructured":"[80] Pillay, A., \u201cSome foundational questions concerning differential algebraic groups,\u201d <i>Pacific Journal of Mathematics<\/i>, vol. 179 (1997), pp. 179\u2013200.","DOI":"10.2140\/pjm.1997.179.179"},{"key":"81","doi-asserted-by":"crossref","unstructured":"[81] Pillay, A., \u201cAlgebraic $D$-groups and differential Galois theory,\u201d <i>Pacific Journal of Mathematics<\/i>, vol. 216 (2004), pp. 343\u201360.","DOI":"10.2140\/pjm.2004.216.343"},{"key":"82","doi-asserted-by":"crossref","unstructured":"[82] Poincar\u00e9, H., \u201cSur les fonctions ab\u00e9liennes,\u201d <i>Acta Mathematica<\/i>, vol. 26 (1902), pp. 43\u201398.","DOI":"10.1007\/BF02415485"},{"key":"83","unstructured":"[83] Puiseux, V., \u201cRecherches sur les fonctions alg\u00e9briques,\u201d <i>Journal de Math\u00e9matiques pures et appliqu\u00e9es<\/i>, vol. 15 (1850), pp. 365\u2013480."},{"key":"84","unstructured":"[84] Puiseux, V., \u201cNouvelles recherches sur les fonctions alg\u00e9briques,\u201d <i>Journal de Math\u00e9matiques pures et appliqu\u00e9es<\/i>, vol. 16 (1851), pp. 228\u2013240."},{"key":"85","doi-asserted-by":"crossref","unstructured":"[85] Raynaud, M., \u201cTh\u00e9or\u00e8mes de Lefschetz en cohomologie coh\u00e9rente et en cohomologie \u00e9tale,\u201d vol. 103 of <i>Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de France<\/i>, Soc. Math. France, Paris, 1975.","DOI":"10.24033\/msmf.176"},{"key":"86","doi-asserted-by":"crossref","unstructured":"[86] Remmert, R., \u201cMeromorphe Funktionen in kompakten komplexen R\u00e4umen,\u201d <i>Mathematische Annalen<\/i>, vol. 132 (1956), pp. 277\u201388.","DOI":"10.1007\/BF01360043"},{"key":"87","doi-asserted-by":"crossref","unstructured":"[87] Riemann, B., \u201cTheorie der Abel\u2019schen Functionen,\u201d <i>Journal f\u00fcr die Reine und Angewandte Mathematik<\/i>, vol. 54 (1857), pp. 115\u201355.","DOI":"10.1515\/crll.1857.54.115"},{"key":"88","doi-asserted-by":"crossref","unstructured":"[88] Rosenlicht, M., \u201cExtensions of vector groups by abelian varieties,\u201d <i>American Journal of Mathematics<\/i>, vol. 80 (1958), pp. 685\u2013714.","DOI":"10.2307\/2372779"},{"key":"89","doi-asserted-by":"crossref","unstructured":"[89] Schneider, T., \u201cZur Theorie der Abelschen Funktionen und Integrale,\u201d <i>Journal f\u00fcr die Reine und Angewandte Mathematik<\/i>, vol. 183 (1941), pp. 110\u201328.","DOI":"10.1515\/crll.1941.183.110"},{"key":"90","doi-asserted-by":"crossref","unstructured":"[90] Schneider, T., <i>Einf\u00fchrung in die transzendenten Zahlen<\/i>, Springer, Berlin, 1957.","DOI":"10.1007\/978-3-642-94694-3"},{"key":"91","unstructured":"[91] Serre, J.-P., \u201cFonctions automorphes: Quelques majorations dans le cas o\u00f9 ${X}\/{G}$ est compact,\u201d <i>S\u00e9minaire H. Cartan<\/i>, vol. 6 (1953\u20131954), no. 2."},{"key":"92","doi-asserted-by":"crossref","unstructured":"[92] Serre, J.-P., \u201cG\u00e9om\u00e9trie alg\u00e9brique et g\u00e9om\u00e9trie analytique,\u201d <i>Universit\u00e9 de Grenoble. Annales de l\u2019Institut Fourier<\/i>, vol. 6 (1955\u20131956), pp. 1\u201342.","DOI":"10.5802\/aif.59"},{"key":"93","unstructured":"[93] Serre, J.-P., <i>Groupes alg\u00e9briques et corps de classes<\/i>, vol. 7 of <i>Publications de l\u2019institut de math\u00e9matique de l\u2019universit\u00e9 de Nancago, VII<\/i>, Hermann, Paris, 1959."},{"key":"94","unstructured":"[94] Severi, F., <i>Funzioni quasi abeliane<\/i>, 2nd augmented edition, vol. 20 of <i>Pontificiae Academiae Scientiarum Scripta Varia<\/i>, Pontificia Academia Scientiarum, Vatican City, 1961."},{"key":"95","unstructured":"[95] Shafarevich, I. R., <i>Basic Algebraic Geometry<\/i>, translated from the Russian by K. A. Hirsch, revised printing of vol. 213 of <i>Grundlehren der Mathematischen Wissenschaften<\/i>, Springer Study Edition, Springer, Berlin, 1977."},{"key":"96","unstructured":"[96] Siegel, C. L., \u201cMeromorphe Funktionen auf kompakten analytischen Mannigfaltigkeiten,\u201d <i>Nachrichten der Akademie der Wissenschaften in G\u00f6ttingen II\u2014Mathematisch-Physikalische Klasse<\/i>, vol. 1955, pp. 71\u201377."},{"key":"97","doi-asserted-by":"crossref","unstructured":"[97] Simpson, C. T., \u201cModuli of representations of the fundamental group of a smooth projective variety, I,\u201d <i>Publications Math\u00e9matiques. Institut des Hautes \u00c9tudes Scientifiques<\/i>, vol. 79 (1994), pp. 47\u2013129.","DOI":"10.1007\/BF02698887"},{"key":"98","doi-asserted-by":"crossref","unstructured":"[98] Simpson, C. T., \u201cModuli of representations of the fundamental group of a smooth projective variety, II,\u201d <i>Publications Math\u00e9matiques. Institut des Hautes \u00c9tudes Scientifiques<\/i>, vol. 80 (1994), pp. 5\u201379.","DOI":"10.1007\/BF02698895"},{"key":"99","doi-asserted-by":"crossref","unstructured":"[99] Thimm, W., \u201c\u00dcber meromorphe Abbildungen von komplexen Mannigfaltigkeiten,\u201d <i>Mathematische Annalen<\/i>, vol. 128 (1954), pp. 1\u201348.","DOI":"10.1007\/BF01360122"},{"key":"100","unstructured":"[100] Waldschmidt, M., <i>Nombres transcendants et groupes alg\u00e9briques<\/i>, with appendices by D. Bertrand and J.-P. Serre, vol. 69\u201370 of <i>Ast\u00e9risque<\/i>, Soci\u00e9t\u00e9 Math\u00e9matique de France, Paris, 1979."},{"key":"101","doi-asserted-by":"crossref","unstructured":"[101] W\u00fcstholz, G., Zum Periodenproblem, <i>Inventiones Mathematicae<\/i>, vol. 78 (1984), pp. 381\u201391.","DOI":"10.1007\/BF01388443"},{"key":"102","doi-asserted-by":"crossref","unstructured":"[102] Zariski, O., \u201cTheory and applications of holomorphic functions on algebraic varieties over arbitrary ground fields,\u201d <i>Memoirs of the American Mathematical Society<\/i>, vol. 1951, no. 5.","DOI":"10.1090\/memo\/0005"},{"key":"103","doi-asserted-by":"crossref","unstructured":"[103] Zariski, O., <i>Algebraic Surfaces<\/i>, with appendices by S. S. Abhyankar, J. Lipman, and D. Mumford, reprint of the 1971 edition, <i>Classics in Mathematics<\/i>, Springer, Berlin, 1995.","DOI":"10.1007\/978-3-642-61991-5"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2143961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:11Z","timestamp":1706648291000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-54\/issue-3-4\/Algebraization-Transcendence-and-D-Group-Schemes\/10.1215\/00294527-2143961.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":103,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2013,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2143961","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}