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:   Print 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 pages

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


Primary Entity

<http://www.worldcat.org/oclc/227436422> # Decision procedures for real and p-adic fields.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "227436422" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/137162391#Place/ft_belvoir> ; # Ft. Belvoir
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/137162391#Topic/number_theory> ; # (Number theory
    schema:about <http://experiment.worldcat.org/entity/work/data/137162391#Topic/theoretical_mathematics> ; # Theoretical Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/137162391#Topic/decision_theory> ; # Decision theory)
    schema:about <http://experiment.worldcat.org/entity/work/data/137162391#Topic/algebra> ; # Algebra)
    schema:about <http://experiment.worldcat.org/entity/work/data/137162391#Thing/p_adic_analysis> ; # P-ADIC ANALYSIS
    schema:about <http://experiment.worldcat.org/entity/work/data/137162391#Topic/real_numbers> ; # Real numbers
    schema:about <http://experiment.worldcat.org/entity/work/data/137162391#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/137162391#Topic/recursive_functions> ; # Recursive functions
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/137162391#Person/cohen_paul_j> ; # Paul J. Cohen
    schema:contributor <http://experiment.worldcat.org/entity/work/data/137162391#Organization/stanford_univ_calif_dept_of_mathematics> ; # STANFORD UNIV CALIF Dept. of MATHEMATICS.
    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:productID "227436422" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/227436422#PublicationEvent/ft_belvoirdefense_technical_information_centerjan_1967> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/137162391#Agent/defense_technical_information_center> ; # Defense Technical Information Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/227436422> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/137162391#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
    schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/137162391#Organization/stanford_univ_calif_dept_of_mathematics> # STANFORD UNIV CALIF Dept. of MATHEMATICS.
    a schema:Organization ;
    schema:name "STANFORD UNIV CALIF Dept. of MATHEMATICS." ;
    .

<http://experiment.worldcat.org/entity/work/data/137162391#Person/cohen_paul_j> # Paul J. Cohen
    a schema:Person ;
    schema:familyName "Cohen" ;
    schema:givenName "Paul J." ;
    schema:name "Paul J. Cohen" ;
    .

<http://experiment.worldcat.org/entity/work/data/137162391#Thing/p_adic_analysis> # P-ADIC ANALYSIS
    a schema:Thing ;
    schema:name "P-ADIC ANALYSIS" ;
    .

<http://experiment.worldcat.org/entity/work/data/137162391#Topic/decision_theory> # Decision theory)
    a schema:Intangible ;
    schema:name "Decision theory)"@en ;
    schema:name "(Decision theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137162391#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137162391#Topic/recursive_functions> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137162391#Topic/theoretical_mathematics> # Theoretical Mathematics
    a schema:Intangible ;
    schema:name "Theoretical Mathematics"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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