LEADER 04376nam 2200637 450 001 9910480309103321 005 20170821165834.0 010 $a0-8218-7860-3 010 $a0-8218-5606-5 035 $a(CKB)3240000000069797 035 $a(EBL)3112887 035 $a(SSID)ssj0000850344 035 $a(PQKBManifestationID)11418975 035 $a(PQKBTitleCode)TC0000850344 035 $a(PQKBWorkID)10832345 035 $a(PQKB)10807085 035 $a(MiAaPQ)EBC3112887 035 $a(WaSeSS)Ind00039403 035 $a(PPN)197105955 035 $a(EXLCZ)993240000000069797 100 $a20001026h20002000 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aHilbert's tenth problem $erelations with arithmetic and algebraic geometry : Workshop on Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry, November 2-5, 1999, Ghent University, Belgium /$fJan Denef [and three others], editors 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d[2000] 210 4$dİ2000 215 $a1 online resource (384 p.) 225 1 $aContemporary mathematics,$x0271-4132 ;$v270 300 $aDescription based upon print version of record. 311 $a0-8218-2622-0 320 $aIncludes bibliographical references. 327 $a""Contents""; ""Introduction""; ""List of Participants""; ""Hilbert's tenth problem: What was done and what is to be done""; ""Undecidability of existential theories of rings and fields: A survey""; ""1. Introduction""; ""2. The existential theory of rational function fields""; ""3. The existential theory of algebraic function fields""; ""4. A geometric analogue of Hilbert's Tenth Problem""; ""5. Decision problems concerning rings of analytic functions: introduction""; ""6. First-order theories of rings of analytic functions"" 327 $a""7. Existential decidability and the Approximation Property for rings of analytic functions""""8. Existential undecidability for rings of analytic functions""; ""9. Polynomial rings and p-adic entire functions""; ""10. Existential theories of fields of meromorphic functions""; ""11. Variations: Languages with predicates for symmetric functions""; ""Appendix A. Elliptic curves: Basic Definitions""; ""Appendix B. Elliptic curves over function fields""; ""Appendix C. Pell equations""; ""References""; ""Hilbert's tenth problem over number fields, a survey""; ""Defining constant polynomials"" 327 $a""Decidability and local-global principles""""Applications of local-global principles to arithmetic and geometry""; ""Regularly T-closed fields""; ""Skolem density problems over large Galois extensions of global fields""; ""An effort to prove that the existential theory of Q is undecidable""; ""Topology of diophantine sets: Remarks on Mazur's conjectures""; ""Diagonal quadratic forms and Hilbert's tenth problem""; ""Algebraic geometry over four rings and the frontier to tractability""; ""1. Introduction""; ""2. Computing Complex Dimension Faster"" 327 $a""3. Polytope Volumes and Counting Pieces of Semi-Algebraic Sets""""4. The Generalized Riemann Hypothesis and Detecting Rational Points""; ""5. Effective Siegel Versus Detecting Integral Points on Surfaces""; ""6. Proofs of Our Main Technical Results""; ""7. Acknowledgements""; ""Appendix: How the Examples Were Computed""; ""References""; ""Some model theory of compact complex spaces""; ""Double coset decompositions for algebraic groups over K[t]""; ""Zero estimates for polynomials in 3 and 4 variables using orbits and stabilisers"" 410 0$aContemporary mathematics (American Mathematical Society) ;$v270. 606 $aHilbert's tenth problem 606 $aArithmetical algebraic geometry 606 $aGeometry, Algebraic 608 $aElectronic books. 615 0$aHilbert's tenth problem. 615 0$aArithmetical algebraic geometry. 615 0$aGeometry, Algebraic. 676 $a512/.7 702 $aDenef$b Jan$f1951- 712 12$aWorkshop on Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry$f(1999 :$eGhent University, Belgium), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910480309103321 996 $aHilbert's tenth problem$91424549 997 $aUNINA