Seminar series
Date
Thu, 28 Jan 2016
11:00
11:00
Location
C5
Speaker
Philip Dittmann
Organisation
Oxford
"We give a diophantine criterion for a polynomial with rational coefficients not to have any
rational zero, i.e. an existential formula in terms of the coefficients expressing this property. This can be seen as a kind of restricted
model-completeness for Q and answers a question of Koenigsmann."