Atlas home || Conferences | Abstracts | about Atlas

21st Days of Weak Arithmetics
June 7-9, 2002
Steklov Institute of Mathematics
St. Petersburg, Russia

Organizers
Paola d'Aquino (Italy), Anatoly Beltiukov (Russia), Patrick Cegielski (France), Gregory Kucherov (France), Krzysztof Lorys (Poland), Yuri Matiyassevich (Russia), the chairman, Jean-Pierre Ressayre (France), Denis Richard (France), Maxim Vsemirov (Russia)

View Abstracts
Conference Homepage

Existential definability with bounds on archimedean valuations.
by
Alexandra Shlapentokh
East Carolina University

We show that solution to Hilbert's Tenth Problem in the rings of algebraic integers and bigger subrings of those number fields where it is currently not known, is equivalent to the problem of bounding archimedean valuations over non-real number fields.

Date received: April 12, 2002

Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cail-17.