{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T11:03:38Z","timestamp":1725879818981},"publisher-location":"Cham","reference-count":66,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319418414"},{"type":"electronic","value":"9783319418421"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41842-1_3","type":"book-chapter","created":{"date-parts":[[2017,2,1]],"date-time":"2017-02-01T17:01:15Z","timestamp":1485968475000},"page":"55-92","source":"Crossref","is-referenced-by-count":0,"title":["Extensions of Hilbert\u2019s Tenth Problem: Definability and Decidability in Number Theory"],"prefix":"10.1007","author":[{"given":"Alexandra","family":"Shlapentokh","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,31]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.4064\/aa-79-2-113-135","volume":"79","author":"J-L Colliot-Th\u00e9l\u00e8ne","year":"1997","unstructured":"Colliot-Th\u00e9l\u00e8ne, J.-L., Skorobogatov, A., & Swinnerton-Dyer, P. (1997). Double fibres and double covers: Paucity of rational points. Acta Arithmetica, 79, 113\u2013135.","journal-title":"Acta Arithmetica"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"727","DOI":"10.5802\/jtnb.516","volume":"17","author":"G Cornelissen","year":"2005","unstructured":"Cornelissen, G., Pheidas, T., & Zahidi, K. (2005). Division-ample sets and diophantine problem for rings of integers. Journal de Th\u00e9orie des Nombres Bordeaux, 17, 727\u2013735.","journal-title":"Journal de Th\u00e9orie des Nombres Bordeaux"},{"key":"3_CR3","unstructured":"Cornelissen, G., & Zahidi, K. (2000). Topology of diophantine sets: Remarks on Mazur\u2019s conjectures. In J. Denef, L. Lipshitz, T. Pheidas & J. Van\u00a0Geel (Eds.), Hilbert\u2019s tenth problem: Relations with arithmetic and algebraic geometry, Contemporary mathematics (Vol. 270, pp. 253\u2013260). American Mathematical Society."},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"233","DOI":"10.2307\/2318447","volume":"80","author":"M Davis","year":"1973","unstructured":"Davis, M. (1973). Hilbert\u2019s tenth problem is unsolvable. American Mathematical Monthly, 80, 233\u2013269.","journal-title":"American Mathematical Monthly"},{"key":"3_CR5","unstructured":"Davis, M., Matiyasevich, Y., & Robinson, J. (1976). Hilbert\u2019s tenth problem. Diophantine equations: Positive aspects of a negative solution. Proceedings of Symposium on Pure Mathematics, 28, 323\u2013 378. American Mathematical Society."},{"key":"3_CR6","first-page":"214","volume":"48","author":"J Denef","year":"1975","unstructured":"Denef, J. (1975). Hilbert\u2019s tenth problem for quadratic rings. Proceedings of the American Mathematical Society, 48, 214\u2013220.","journal-title":"Proceedings of the American Mathematical Society"},{"issue":"1","key":"3_CR7","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1090\/S0002-9947-1980-0549163-X","volume":"257","author":"J Denef","year":"1980","unstructured":"Denef, J. (1980). Diophantine sets of algebraic integers II. Transactions of American Mathematical Society, 257(1), 227\u2013236.","journal-title":"Transactions of American Mathematical Society"},{"issue":"2","key":"3_CR8","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1112\/jlms\/s2-18.3.385","volume":"18","author":"J Denef","year":"1978","unstructured":"Denef, J., & Lipshitz, L. (1978). Diophantine sets over some rings of algebraic integers. Journal of London Mathematical Society, 18(2), 385\u2013391.","journal-title":"Journal of London Mathematical Society"},{"key":"3_CR9","unstructured":"Denef, J., Lipshitz, L., Pheidas, T., & Van\u00a0Geel, J. (Eds.). (2000). Hilbert\u2019s tenth problem: Relations with arithmetic and algebraic geometry, Contemporary mathematics (Vol. 270). Providence, RI: American Mathematical Society. Papers from the workshop held at Ghent University, Ghent, November 2\u20135, 1999."},{"issue":"6","key":"3_CR10","doi-asserted-by":"crossref","first-page":"1951","DOI":"10.1090\/S0002-9939-08-09740-2","volume":"137","author":"K Eisentr\u00e4ger","year":"2009","unstructured":"Eisentr\u00e4ger, K., & Everest, G. (2009). Descent on elliptic curves and Hilbert\u2019s tenth problem. Proceedings of the American Mathematical Society, 137(6), 1951\u20131959.","journal-title":"Proceedings of the American Mathematical Society"},{"issue":"6","key":"3_CR11","doi-asserted-by":"crossref","first-page":"1141","DOI":"10.4310\/MRL.2011.v18.n6.a7","volume":"18","author":"K Eisentr\u00e4ger","year":"2011","unstructured":"Eisentr\u00e4ger, K., Everest, G., & Shlapentokh, A. (2011). Hilbert\u2019s tenth problem and Mazur\u2019s conjectures in complementary subrings of number fields. Mathematical Research Letters, 18(6), 1141\u20131162.","journal-title":"Mathematical Research Letters"},{"key":"3_CR12","unstructured":"Eisentr\u00e4ger, K., Miller, R., Park, J., & Shlapentokh, A. Easy as $${\\mathbb{Q}}$$ . Work in progress."},{"key":"3_CR13","unstructured":"Ershov, Y. L. (1996). Nice locally global fields. I. Algebra i Logika, 35(4), 411\u2013423, 497."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Everest, G., van der Poorten, A., Shparlinski, I., & Ward, T. (2003). Recurrence sequences (Vol. 104). Mathematical Surveys and Monographs Providence, RI: American Mathematical Society.","DOI":"10.1090\/surv\/104"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Fried, M. D., Haran, D., & V\u00f6lklein, H. (1994). Real Hilbertianity and the field of totally real numbers. In Arithmetic geometry (Tempe, AZ, 1993) Contemporary Mathematics (Vol. 174, pp. 1\u201334). Providence, RI: American Mathematical Society.","DOI":"10.1090\/conm\/174\/01849"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1073\/pnas.43.2.236","volume":"43","author":"RM Friedberg","year":"1957","unstructured":"Friedberg, R. M. (1957). Two recursively enumerable sets of incomparable degrees of unsolvability (solution of Post\u2019s problem, 1944). Proceedings of the National Academy of Sciences U.S.A., 43, 236\u2013238.","journal-title":"Proceedings of the National Academy of Sciences U.S.A."},{"issue":"4\u20135","key":"3_CR17","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.201110020","volume":"58","author":"K Fukuzaki","year":"2012","unstructured":"Fukuzaki, K. (2012). Definability of the ring of integers in some infinite algebraic extensions of the rationals. MLQ Mathematical Logic Quarterly, 58(4\u20135), 317\u2013332.","journal-title":"MLQ Mathematical Logic Quarterly"},{"key":"3_CR18","unstructured":"Jarden, M., & Shlapentokh, A. On decidable fields. Work in progress."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Koenigsmann, J. Defining $${\\mathbb{Z}}$$ in $${\\mathbb{Q}}$$ . Annals of Mathematics. To appear.","DOI":"10.4007\/annals.2016.183.1.2"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Kronecker, L. (1857). Zwei s\u00e4tze \u00fcber gleichungen mit ganzzahligen coefficienten. Journal f\u00fcr die Reine und Angewandte Mathematik, 53, 173\u2013175.","DOI":"10.1515\/crll.1857.53.173"},{"key":"3_CR21","unstructured":"Marker, D. (2002). Model theory: An introduction, Graduate texts in mathematics (Vol. 217). New York: Springer."},{"key":"3_CR22","unstructured":"Matiyasevich, Y.V. (1993). Hilbert\u2019s tenth problem. Foundations of computing series. Cambridge, MA: MIT Press. Translated from the 1993 Russian original by the author, With a foreword by Martin Davis."},{"issue":"1","key":"3_CR23","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1080\/10586458.1992.10504244","volume":"1","author":"B Mazur","year":"1992","unstructured":"Mazur, B. (1992). The topology of rational points. Experimental Mathematics, 1(1), 35\u201345.","journal-title":"Experimental Mathematics"},{"issue":"2","key":"3_CR24","doi-asserted-by":"crossref","first-page":"353","DOI":"10.2307\/2275395","volume":"59","author":"B Mazur","year":"1994","unstructured":"Mazur, B. (1994). Questions of decidability and undecidability in number theory. Journal of Symbolic Logic, 59(2), 353\u2013371.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Mazur, B. (1998). Open problems regarding rational points on curves and varieties. In A. J. Scholl & R. L. Taylor (Eds.), Galois representations in arithmetic algebraic geometry. Cambridge University Press.","DOI":"10.1017\/CBO9780511662010.007"},{"key":"3_CR26","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s00222-010-0252-0","volume":"181","author":"B Mazur","year":"2010","unstructured":"Mazur, B., & Rubin, K. (2010). Ranks of twists of elliptic curves and Hilbert\u2019s Tenth Problem. Inventiones Mathematicae, 181, 541\u2013575.","journal-title":"Inventiones Mathematicae"},{"key":"3_CR27","unstructured":"Muchnik, A. A. (1956). On the separability of recursively enumerable sets. Doklady Akademii Nauk SSSR (N.S.), 109, 29\u201332."},{"key":"3_CR28","unstructured":"Park, J. A universal first order formula defining the ring of integers in a number field. To appear in Math Research Letters."},{"issue":"2","key":"3_CR29","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s00013-011-0277-7","volume":"97","author":"S Perlega","year":"2011","unstructured":"Perlega, S. (2011). Additional results to a theorem of Eisentr\u00e4ger and Everest. Archiv der Mathematik (Basel), 97(2), 141\u2013149.","journal-title":"Archiv der Mathematik (Basel)"},{"issue":"2","key":"3_CR30","first-page":"611","volume":"104","author":"T Pheidas","year":"1988","unstructured":"Pheidas, T. (1988). Hilbert\u2019s tenth problem for a class of rings of algebraic integers. Proceedings of American Mathematical Society, 104(2), 611\u2013620.","journal-title":"Proceedings of American Mathematical Society"},{"key":"3_CR31","unstructured":"Poonen, B. Elliptic curves whose rank does not grow and Hilbert\u2019s Tenth Problem over the rings of integers. Private Communication."},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Poonen, B. (2002). Using elliptic curves of rank one towards the undecidability of Hilbert\u2019s Tenth Problem over rings of algebraic integers. In C. Fieker & D. Kohel (Eds.), 7 Number theory, Lecture Notes in Computer Science (Vol. 2369, pp. 33\u201342). Springer.","DOI":"10.1007\/3-540-45455-1_4"},{"issue":"4","key":"3_CR33","first-page":"981","volume":"16","author":"B Poonen","year":"2003","unstructured":"Poonen, B. (2003). Hilbert\u2019s Tenth Problem and Mazur\u2019s conjecture for large subrings of $${\\mathbb{Q}}$$ . Journal of AMS, 16(4), 981\u2013990.","journal-title":"Journal of AMS"},{"issue":"3","key":"3_CR34","first-page":"344","volume":"55","author":"B Poonen","year":"2008","unstructured":"Poonen, B. (2008). Undecidability in number theory. Notices of the American Mathematical Society, 55(3), 344\u2013350.","journal-title":"Notices of the American Mathematical Society"},{"issue":"3","key":"3_CR35","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1353\/ajm.0.0057","volume":"131","author":"B Poonen","year":"2009","unstructured":"Poonen, B. (2009). Characterizing integers among rational numbers with a universal-existential formula. American Journal of Mathematics, 131(3), 675\u2013682.","journal-title":"American Journal of Mathematics"},{"key":"3_CR36","first-page":"2005","volume":"27\u201348","author":"B Poonen","year":"2005","unstructured":"Poonen, B., & Shlapentokh, A. (2005). Diophantine definability of infinite discrete non-archimedean sets and diophantine models for large subrings of number fields. Journal f\u00fcr die Reine und Angewandte Mathematik, 27\u201348, 2005.","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"key":"3_CR37","first-page":"141","volume":"414","author":"A Prestel","year":"1991","unstructured":"Prestel, A., & Schmid, J. (1991). Decidability of the rings of real algebraic and $$p$$ -adic algebraic integers. Journal f\u00fcr die Reine und Angewandte Mathematik, 414, 141\u2013148.","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Prestel, A. (1981). Pseudo real closed fields. In Set theory and model theory (Bonn, 1979), Lecture notes in mathematics (Vol. 872, pp. 127\u2013156). Berlin-New York: Springer.","DOI":"10.1007\/BFb0098621"},{"key":"3_CR39","doi-asserted-by":"crossref","first-page":"98","DOI":"10.2307\/2266510","volume":"14","author":"J Robinson","year":"1949","unstructured":"Robinson, J. (1949). Definability and decision problems in arithmetic. Journal of Symbolic Logic, 14, 98\u2013114.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR40","doi-asserted-by":"crossref","first-page":"950","DOI":"10.1090\/S0002-9939-1959-0112842-7","volume":"10","author":"J Robinson","year":"1959","unstructured":"Robinson, J. (1959). The undecidability of algebraic fields and rings. Proceedings of the American Mathematical Society, 10, 950\u2013957.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"3_CR41","unstructured":"Robinson, J. (1962). On the decision problem for algebraic rings. In Studies in mathematical analysis and related topics (pp. 297\u2013304). Stanford, Calif: Stanford University Press."},{"key":"3_CR42","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1002\/malq.19640101803","volume":"10","author":"RM Robinson","year":"1964","unstructured":"Robinson, R. M. (1964). The undecidability of pure transcendental extensions of real fields. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, 10, 275\u2013282.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"3_CR43","volume-title":"Theory of recursive functions and effective computability","author":"H Rogers","year":"1967","unstructured":"Rogers, H. (1967). Theory of recursive functions and effective computability. New York: McGraw-Hill."},{"issue":"3","key":"3_CR44","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/BF01388636","volume":"75","author":"DE Rohrlich","year":"1984","unstructured":"Rohrlich, D. E. (1984). On $$L$$ -functions of elliptic curves and cyclotomic towers. Inventiones Mathematicae, 75(3), 409\u2013423.","journal-title":"Inventiones Mathematicae"},{"issue":"1","key":"3_CR45","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1090\/S0002-9947-1980-0583852-6","volume":"262","author":"R Rumely","year":"1980","unstructured":"Rumely, R. (1980). Undecidability and definability for the theory of global fields. Transactions of the American Mathematical Society, 262(1), 195\u2013217.","journal-title":"Transactions of the American Mathematical Society"},{"key":"3_CR46","first-page":"127","volume":"368","author":"RS Rumely","year":"1986","unstructured":"Rumely, R. S. (1986). Arithmetic over the ring of all algebraic integers. Journal f\u00fcr die Reine und Angewandte Mathematik, 368, 127\u2013133.","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"key":"3_CR47","unstructured":"Shlapentokh, A. First order definability and decidability in infinite algebraic extensions of rational numbers. arXiv:1307.0743 [math.NT]."},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"Shlapentokh, A. (1989). Extension of Hilbert\u2019s tenth problem to some algebraic number fields. Communications on Pure and Applied Mathematics, XLII, 939\u2013962.","DOI":"10.1002\/cpa.3160420703"},{"issue":"1","key":"3_CR49","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1006\/jabr.1994.1276","volume":"169","author":"A Shlapentokh","year":"1994","unstructured":"Shlapentokh, A. (1994). Diophantine classes of holomorphy rings of global fields. Journal of Algebra, 169(1), 139\u2013175.","journal-title":"Journal of Algebra"},{"key":"3_CR50","doi-asserted-by":"crossref","first-page":"1068","DOI":"10.2307\/2275929","volume":"59","author":"A Shlapentokh","year":"1994","unstructured":"Shlapentokh, A. (1994). Diophantine equivalence and countable rings. Journal of Symbolic Logic, 59, 1068\u20131095.","journal-title":"Journal of Symbolic Logic"},{"key":"3_CR51","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0168-0072(94)90024-8","volume":"68","author":"A Shlapentokh","year":"1994","unstructured":"Shlapentokh, A. (1994). Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of $${\\mathbb{Q}}$$ . Annals of Pure and Applied Logic, 68, 299\u2013325.","journal-title":"Annals of Pure and Applied Logic"},{"key":"3_CR52","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s002220050170","volume":"129","author":"A Shlapentokh","year":"1997","unstructured":"Shlapentokh, A. (1997). Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator. Inventiones Mathematicae, 129, 489\u2013507.","journal-title":"Inventiones Mathematicae"},{"issue":"1","key":"3_CR53","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1215\/S0012-7094-00-10115-9","volume":"101","author":"A Shlapentokh","year":"2000","unstructured":"Shlapentokh, A. (2000). Defining integrality at prime sets of high density in number fields. Duke Mathematical Journal, 101(1), 117\u2013134.","journal-title":"Duke Mathematical Journal"},{"key":"3_CR54","doi-asserted-by":"crossref","unstructured":"Shlapentokh, A. (2000). Hilbert\u2019s tenth problem over number fields, a survey. In J. Denef, L. Lipshitz, T. Pheidas & J. Van\u00a0Geel (Eds.), Hilbert\u2019s Tenth problem: Relations with arithmetic and algebraic geometry, Contemporary mathematics (Vol. 270, pp. 107\u2013137). American Mathematical Society.","DOI":"10.1090\/conm\/270\/04370"},{"key":"3_CR55","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/S0022-314X(01)92759-3","volume":"95","author":"A Shlapentokh","year":"2002","unstructured":"Shlapentokh, A. (2002). On diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2. Journal of Number Theory, 95, 227\u2013252.","journal-title":"Journal of Number Theory"},{"key":"3_CR56","doi-asserted-by":"crossref","unstructured":"Shlapentokh, A. (2006). Hilbert\u2019s Tenth problem: Diophantine classes and extensions to global fields. Cambridge University Press.","DOI":"10.1017\/CBO9780511542954"},{"issue":"2","key":"3_CR57","doi-asserted-by":"crossref","first-page":"846","DOI":"10.1016\/j.jalgebra.2006.11.007","volume":"313","author":"A Shlapentokh","year":"2007","unstructured":"Shlapentokh, A. (2007). Diophantine definability and decidability in the extensions of degree 2 of totally real fields. Journal of Algebra, 313(2), 846\u2013896.","journal-title":"Journal of Algebra"},{"issue":"7","key":"3_CR58","doi-asserted-by":"crossref","first-page":"3541","DOI":"10.1090\/S0002-9947-08-04302-X","volume":"360","author":"A Shlapentokh","year":"2008","unstructured":"Shlapentokh, A. (2008). Elliptic curves retaining their rank in finite extensions and Hilbert\u2019s tenth problem for rings of algebraic numbers. Transactions of the American Mathematical Society, 360(7), 3541\u20133555.","journal-title":"Transactions of the American Mathematical Society"},{"issue":"1","key":"3_CR59","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s00153-008-0118-y","volume":"48","author":"A Shlapentokh","year":"2009","unstructured":"Shlapentokh, A. (2009). Rings of algebraic numbers in infinite extensions of $${\\mathbb{Q}}$$ and elliptic curves retaining their rank. Archive for Mathematical Logic, 48(1), 77\u2013114.","journal-title":"Archive for Mathematical Logic"},{"issue":"6","key":"3_CR60","doi-asserted-by":"crossref","first-page":"1335","DOI":"10.1142\/S1793042112500789","volume":"8","author":"A Shlapentokh","year":"2012","unstructured":"Shlapentokh, A. (2012). Elliptic curve points and Diophantine models of $${\\mathbb{Z}}$$ in large subrings of number fields. International Journal of Number Theory, 8(6), 1335\u20131365.","journal-title":"International Journal of Number Theory"},{"key":"3_CR61","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1920-8","volume-title":"The arithmetic of elliptic curves","author":"J Silverman","year":"1986","unstructured":"Silverman, J. (1986). The arithmetic of elliptic curves. New York, New York: Springer."},{"key":"3_CR62","unstructured":"Tarski, T. (1986). A decision method for elementary algebra and geometry. In Collected papers, S. R. Givant & R. N. McKenzie (Eds.), Contemporary mathematicians (Vol. 3, pp. xiv+682). Basel: Birkh\u00e4user Verlag. 1945\u20131957."},{"key":"3_CR63","first-page":"189","volume":"388","author":"L Dries van den","year":"1988","unstructured":"van den Dries, L. (1988). Elimination theory for the ring of algebraic integers. Journal f\u00fcr die Reine und Angewandte Mathematik, 388, 189\u2013205.","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"issue":"3","key":"3_CR64","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1090\/S0002-9939-99-04611-0","volume":"127","author":"C Videla","year":"1999","unstructured":"Videla, C. (1999). On the constructible numbers. Proceedings of American Mathematical Society, 127(3), 851\u2013860.","journal-title":"Proceedings of American Mathematical Society"},{"key":"3_CR65","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02803513","volume":"118","author":"C Videla","year":"2000","unstructured":"Videla, C. (2000). Definability of the ring of integers in pro- $$p$$ extensions of number fields. Israel Journal of Mathematics, 118, 1\u201314.","journal-title":"Israel Journal of Mathematics"},{"key":"3_CR66","doi-asserted-by":"crossref","unstructured":"Videla, C. R. (2000). The undecidability of cyclotomic towers. Proceedings of American Mathematical Society, 128(12), 3671\u20133674.","DOI":"10.1090\/S0002-9939-00-05544-1"}],"container-title":["Outstanding Contributions to Logic","Martin Davis on Computability, Computational Logic, and Mathematical Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41842-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,23]],"date-time":"2022-07-23T05:39:04Z","timestamp":1658554744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41842-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319418414","9783319418421"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41842-1_3","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2016]]}}}