Existence of rational points on smooth projective varieties
Bjorn Poonen (2009)
Journal of the European Mathematical Society
Thanases Pheidas, Xavier Vidaux (2005)
Fundamenta Mathematicae
We generalize a question of Büchi: Let R be an integral domain, C a subring and k ≥ 2 an integer. Is there an algorithm to decide the solvability in R of any given system of polynomial equations, each of which is linear in the kth powers of the unknowns, with coefficients in C? We state a number-theoretical problem, depending on k, a positive answer to which would imply a negative answer to the question for R = C = ℤ. We reduce a negative answer for k = 2 and for...
Lawvere, F.William (2004)
Theory and Applications of Categories [electronic only]
Hrushovski, Ehud (1998)
Documenta Mathematica
H.A. Pogorzelski (1977)
Journal für die reine und angewandte Mathematik
John B. Goode (1995/1996)
Séminaire Bourbaki
Thanases Pheidas (1991)
Inventiones mathematicae
Prerna Bihani, Renling Jin (2006)
Journal de Théorie des Nombres de Bordeaux
Suppose is a set of non-negative integers with upper Banach density (see definition below) and the upper Banach density of is less than . We characterize the structure of by showing the following: There is a positive integer and a set , which is the union of arithmetic sequences [We call a set of the form an arithmetic sequence of difference and call a set of the form an arithmetic progression of difference . So an arithmetic progression is finite and an arithmetic sequence...
J. Paris (1977)
Fundamenta Mathematicae
Gert H. Müller (1961)
Mathematische Zeitschrift
Masahiro Yasumoto (1990)
Manuscripta mathematica
Havel, Ivan M. (1973)
Pokroky matematiky, fyziky a astronomie
J. Bilý, L. Bukovský (1974)
Fundamenta Mathematicae
Souček, J. (1980)
Abstracta. 8th Winter School on Abstract Analysis
H.A. Pogorzelski (1974)
Journal für die reine und angewandte Mathematik
Caragiu, Florin, Caragiu, Mihai (2004)
International Journal of Mathematics and Mathematical Sciences
Melvin Henriksen, Frank A. Smith (1990)
Commentationes Mathematicae Universitatis Carolinae
W.J. Ryan (1979)
Mathematica Scandinavica
Antonín Sochor (1975)
Commentationes Mathematicae Universitatis Carolinae
Yuri Matijasevič, Julia Robinson (1975)
Acta Arithmetica