skip to content
Decision procedures for real and p-adic fields. Preview this item
ClosePreview this item
Checking...

Decision procedures for real and p-adic fields.

Author: Paul J Cohen; STANFORD UNIV CALIF DEPT OF MATHEMATICS.
Publisher: Ft. Belvoir Defense Technical Information Center JAN 1967.
Edition/Format:   Book : English
Database:WorldCat
Summary:
A decision procedure is given for the real number field which reproves a result of Tarski, and for p-adic fields a procedure is given to reduce problems about the field to statements concerning the residue class rings. This gives a purely effective proof of the recent results of Ax and Kochen. The methods used point up the similarity of the two cases. Thus whereas Sturm's theorem can be used in the real case, our  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Paul J Cohen; STANFORD UNIV CALIF DEPT OF MATHEMATICS.
OCLC Number: 227436422
Description: 37 p.

Abstract:

A decision procedure is given for the real number field which reproves a result of Tarski, and for p-adic fields a procedure is given to reduce problems about the field to statements concerning the residue class rings. This gives a purely effective proof of the recent results of Ax and Kochen. The methods used point up the similarity of the two cases. Thus whereas Sturm's theorem can be used in the real case, our proof yields an inductive procedure for finding roots in the p-adic case. Finally, the application to Artin's conjecture is discussed and it is shown that the exceptional primes are primitive recursive functions of the degree. (Author).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/227436422>
library:oclcnum"227436422"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/227436422>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:datePublished"1967"
schema:datePublished"JAN 1967"
schema:description"A decision procedure is given for the real number field which reproves a result of Tarski, and for p-adic fields a procedure is given to reduce problems about the field to statements concerning the residue class rings. This gives a purely effective proof of the recent results of Ax and Kochen. The methods used point up the similarity of the two cases. Thus whereas Sturm's theorem can be used in the real case, our proof yields an inductive procedure for finding roots in the p-adic case. Finally, the application to Artin's conjecture is discussed and it is shown that the exceptional primes are primitive recursive functions of the degree. (Author)."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/137162391>
schema:inLanguage"en"
schema:name"Decision procedures for real and p-adic fields."@en
schema:numberOfPages"37"
schema:publisher
schema:url

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.