FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1513115175> ?p ?o ?g. }

• W1513115175 endingPage "198" @default.
• W1513115175 startingPage "173" @default.
• W1513115175 abstract "We survey applications of quantifier elimination to number theory and algebraic geometry, focusing on results of the last 15 years. We start with the applications of p-adic quantifier elimination to p-adic integration and the rationality of several Poincar series related to congruences f(x) = 0 modulo a prime power, where f is a polynomial in several variables. We emphasize the importance of p-adic cell decomposition, not only to avoid resolution of singularities, but especially to obtain much stronger arithmetical results. We survey the theory of p-adic subanalytic sets, which is needed when f is a power series instead of a polynomial. Next we explain the fundamental results of Lipshitz–Robinson and Gardener–Schoutens on subanalytic sets over algebraically closed complete valued fields, and the connection with rigid analytic geometry. Finally we discuss recent geometric applications of quantifier elimination over C((t)), related to the arc space of an algebraic variety. One of the most striking applications of the model theory of valued fields to arithmetic is the work of Ax and Kochen [1965a; 1965b; 1966; Kochen 1975], and of Ershov [1965; 1966; 1967], which provided for example the first quantifier elimination results for discrete valued fields [Ax and Kochen 1966], and the decidability of the field Qp of p-adic numbers. As a corollary of their work, Ax and Kochen [1965a] proved the following celebrated result: For each prime number p, big enough with respect to d, any homogeneous polynomial of degree d over Qp in d + 1 variables has a nontrivial zero in Qp. However in the present survey we will not discuss this work, but focus on results of the last 15 years. In Section 1 we explain the applications of p-adic quantifier elimination to p-adic integration and the rationality of several Poincare series related to a congruence f(x) ≡ 0 mod p, where f(x) is a polynomial in several variables with integer coefficients. We emphasize the importance of p-adic cell decomposition, not only to avoid resolution of singularities, but especially to obtain much stronger results (for example, on local singular series in several variables)." @default.
• W1513115175 created "2016-06-24" @default.
• W1513115175 creator A5023695491 @default.
• W1513115175 date "2000-01-01" @default.
• W1513115175 modified "2023-09-23" @default.
• W1513115175 title "Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields" @default.
• W1513115175 cites W1022822564 @default.
• W1513115175 cites W138035585 @default.
• W1513115175 cites W1503074869 @default.
• W1513115175 cites W1557342929 @default.
• W1513115175 cites W1557974996 @default.
• W1513115175 cites W1810381445 @default.
• W1513115175 cites W1968936725 @default.
• W1513115175 cites W1970655153 @default.
• W1513115175 cites W1985682015 @default.
• W1513115175 cites W1987697952 @default.
• W1513115175 cites W2009141489 @default.
• W1513115175 cites W2011361085 @default.
• W1513115175 cites W2013148549 @default.
• W1513115175 cites W2015227148 @default.
• W1513115175 cites W2023548227 @default.
• W1513115175 cites W2025386328 @default.
• W1513115175 cites W2032293650 @default.
• W1513115175 cites W2032491778 @default.
• W1513115175 cites W2032839093 @default.
• W1513115175 cites W2034949131 @default.
• W1513115175 cites W2035012336 @default.
• W1513115175 cites W2040021611 @default.
• W1513115175 cites W2041684842 @default.
• W1513115175 cites W2042574347 @default.
• W1513115175 cites W2062469714 @default.
• W1513115175 cites W2064837400 @default.
• W1513115175 cites W2066211459 @default.
• W1513115175 cites W2088069870 @default.
• W1513115175 cites W2088880658 @default.
• W1513115175 cites W2118019158 @default.
• W1513115175 cites W2139422470 @default.
• W1513115175 cites W2159545813 @default.
• W1513115175 cites W2314912482 @default.
• W1513115175 cites W2328429071 @default.
• W1513115175 cites W2334488109 @default.
• W1513115175 cites W2523967667 @default.
• W1513115175 cites W2525892189 @default.
• W1513115175 cites W2571088260 @default.
• W1513115175 cites W25817474 @default.
• W1513115175 cites W2600689162 @default.
• W1513115175 cites W2604026927 @default.
• W1513115175 cites W2772878503 @default.
• W1513115175 cites W2963006044 @default.
• W1513115175 cites W30105499 @default.
• W1513115175 cites W3158124303 @default.
• W1513115175 cites W3162566251 @default.
• W1513115175 cites W600697809 @default.
• W1513115175 cites W62826420 @default.
• W1513115175 cites W635664133 @default.
• W1513115175 cites W651342831 @default.
• W1513115175 cites W70820425 @default.
• W1513115175 cites W70990120 @default.
• W1513115175 cites W93193964 @default.
• W1513115175 hasPublicationYear "2000" @default.
• W1513115175 type Work @default.
• W1513115175 sameAs 1513115175 @default.
• W1513115175 citedByCount "7" @default.
• W1513115175 countsByYear W15131151752018 @default.
• W1513115175 countsByYear W15131151752020 @default.
• W1513115175 crossrefType "journal-article" @default.
• W1513115175 hasAuthorship W1513115175A5023695491 @default.
• W1513115175 hasConcept C118615104 @default.
• W1513115175 hasConcept C121332964 @default.
• W1513115175 hasConcept C134306372 @default.
• W1513115175 hasConcept C136119220 @default.
• W1513115175 hasConcept C153269930 @default.
• W1513115175 hasConcept C202444582 @default.
• W1513115175 hasConcept C203701370 @default.
• W1513115175 hasConcept C24890656 @default.
• W1513115175 hasConcept C2775997480 @default.
• W1513115175 hasConcept C32278780 @default.
• W1513115175 hasConcept C33923547 @default.
• W1513115175 hasConcept C54732982 @default.
• W1513115175 hasConcept C90119067 @default.
• W1513115175 hasConcept C9376300 @default.
• W1513115175 hasConcept C9652623 @default.
• W1513115175 hasConcept C9973445 @default.
• W1513115175 hasConceptScore W1513115175C118615104 @default.
• W1513115175 hasConceptScore W1513115175C121332964 @default.
• W1513115175 hasConceptScore W1513115175C134306372 @default.
• W1513115175 hasConceptScore W1513115175C136119220 @default.
• W1513115175 hasConceptScore W1513115175C153269930 @default.
• W1513115175 hasConceptScore W1513115175C202444582 @default.
• W1513115175 hasConceptScore W1513115175C203701370 @default.
• W1513115175 hasConceptScore W1513115175C24890656 @default.
• W1513115175 hasConceptScore W1513115175C2775997480 @default.
• W1513115175 hasConceptScore W1513115175C32278780 @default.
• W1513115175 hasConceptScore W1513115175C33923547 @default.
• W1513115175 hasConceptScore W1513115175C54732982 @default.
• W1513115175 hasConceptScore W1513115175C90119067 @default.
• W1513115175 hasConceptScore W1513115175C9376300 @default.
• W1513115175 hasConceptScore W1513115175C9652623 @default.

• next