Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/polynomial-time-uniformization-and-non-standard-methods-TAvrPNkkog
References (7)
-
(1988)
L'Arithm6tique ouverte et ses modules non standards, CRAS -
(1969)
A nonstandard model for a free variable fragment of number theory -
(1987)
L'Arithm6tique ouverte et ses modules non standards, Th~se de 3 ° cycle, Paris VII -
(1990)
Ressayre, Every RC field has an integer part, CRAS -
I. Kaplansky (1942)
Maximal fields with valuations, IIDuke Mathematical Journal, 12
-
Every exponential real closed field has an integer part closed under exponential , 3 ° Journ ~ es sur les Arith ~ metiques Faibles ( Clermont Ferrandm 1991 ) -
S. Boughattas (1991)
Résultats positifs et négatifs sur l'existence d'une partie entière dans les corps ordonnés, 313
- Publisher
- Springer Journals
- Copyright
- Copyright
- Subject
- Computer Science; Artificial Intelligence; Mathematics, general; Computer Science, general; Complex Systems
- ISSN
- 1012-2443
- eISSN
- 1573-7470
- DOI
- 10.1007/BF02127795
- Publisher site
- See Article on Publisher Site
Abstract
This paper presents the contents of a talk given in December 1990, during the second “Journées sur les Arithmétiques Faibles” held at the LITP, Paris; the talk was repeated during the 1991 Ecole de Printemps of Méjannes le Clap. The paper proves a polynomial time computability result for a class of NP inter co-NP problems, for which only the obvious exponential time algorithm was known. The result is proved by a striking use of non-standard methods, and it is not clear at all how to obtain it by standard methods.
Journal
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Aug 13, 2005