skip to content
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 Preview this item
ClosePreview this item
Checking...

Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979

Author: Leszek Pacholski; J Wierzejewski; A J Wilkie
Publisher: Berlin ; New York : Springer-Verlag, 1980.
Series: Lecture notes in mathematics (Springer-Verlag), 834.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz, Poland).
Model theory of algebra and arithmetic.
Berlin ; New York : Springer-Verlag, 1980
(DLC) 82131180
(OCoLC)7073521
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Leszek Pacholski; J Wierzejewski; A J Wilkie
ISBN: 9783540383932 354038393X
OCLC Number: 297492317
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (vi, 410 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Further remarks on the elementary theory of formal power series rings --
Elimination of quantifiers for non semi-simple rings of characteristic p --
The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings --
Existentially closed modules: Types and prime models --
Rings of continuous functions: Decision problems --
Weak partition relations, finite games, and independence results in Peano arithmetic --
Hensel fields in equal characteristic p>0 --
On polynomials over real closed rings --
Les corps faiblement algebriquement clos non separablement clos ont la propriete d{u2019}independance --
Horn-theories of abelian groups --
Two orderings of the class of all countable models of peano arithmetic --
Ramsey quantifiers in arithmetic --
Computational complexity of decision problems in elementary number theory --
Some diophantine nullstellensätze --
A tree analysis of unprovable combinatorial statements --
A hierarchy of cuts in models of arithmetic --
Cofinal extension preserves recursive saturation --
Some model theory and number theory for models of weak systems of arithmetic --
Applications of complexity theory to?o-definability Problems in arithmetic --
Minimally saturated models --
Totally categorical theories: Structural properties and the non-finite axiomatizability.
Series Title: Lecture notes in mathematics (Springer-Verlag), 834.
Responsibility: edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie.

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/297492317> # Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "297492317" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/896313306#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/896313306#Topic/logique_algebrique> ; # Logique algébrique
   schema:about <http://dewey.info/class/511.34/e22/> ;
   schema:about <http://id.worldcat.org/fast/1024368> ; # Model theory
   schema:about <http://id.loc.gov/authorities/subjects/sh85086421> ; # Model theory
   schema:about <http://experiment.worldcat.org/entity/work/data/896313306#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/35803115> ; # Alec J. Wilkie
   schema:contributor <http://viaf.org/viaf/42416055> ; # Leszek Pacholski
   schema:contributor <http://viaf.org/viaf/50576391> ; # Jędrzej Wierzejewski
   schema:creator <http://experiment.worldcat.org/entity/work/data/896313306#Meeting/conference_on_applications_of_logic_to_algebra_and_arithmetic_1979_karpacz_poland> ; # Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz, Poland)
   schema:datePublished "1980" ;
   schema:description "Further remarks on the elementary theory of formal power series rings -- Elimination of quantifiers for non semi-simple rings of characteristic p -- The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings -- Existentially closed modules: Types and prime models -- Rings of continuous functions: Decision problems -- Weak partition relations, finite games, and independence results in Peano arithmetic -- Hensel fields in equal characteristic p>0 -- On polynomials over real closed rings -- Les corps faiblement algebriquement clos non separablement clos ont la propriete d{u2019}independance -- Horn-theories of abelian groups -- Two orderings of the class of all countable models of peano arithmetic -- Ramsey quantifiers in arithmetic -- Computational complexity of decision problems in elementary number theory -- Some diophantine nullstellensätze -- A tree analysis of unprovable combinatorial statements -- A hierarchy of cuts in models of arithmetic -- Cofinal extension preserves recursive saturation -- Some model theory and number theory for models of weak systems of arithmetic -- Applications of complexity theory to?o-definability Problems in arithmetic -- Minimally saturated models -- Totally categorical theories: Structural properties and the non-finite axiomatizability."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/896313306> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0075-8434> ; # Lecture notes in mathematics,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/896313306#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/7073521> ;
   schema:name "Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979"@en ;
   schema:productID "297492317" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/297492317#PublicationEvent/berlin_new_york_springer_verlag_1980> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/896313306#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0075-8434&volume=834> ;
   schema:url <http://dx.doi.org/10.1007/BFb0090155> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/7073521.html> ;
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/BFb0090155> ;
   schema:workExample <http://worldcat.org/isbn/9783540383932> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/297492317> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/896313306#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/896313306#Meeting/conference_on_applications_of_logic_to_algebra_and_arithmetic_1979_karpacz_poland> # Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz, Poland)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/896313306#Place/karpacz_poland> ; # Karpacz, Poland)
   schema:name "Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz, Poland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/896313306#Place/karpacz_poland> # Karpacz, Poland)
    a schema:Place ;
   schema:name "Karpacz, Poland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/896313306#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/297492317> ; # Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
   schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/896313306#Topic/logique_algebrique> # Logique algébrique
    a schema:Intangible ;
   schema:name "Logique algébrique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/896313306#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85086421> # Model theory
    a schema:Intangible ;
   schema:name "Model theory"@en ;
    .

<http://id.worldcat.org/fast/1024368> # Model theory
    a schema:Intangible ;
   schema:name "Model theory"@en ;
    .

<http://viaf.org/viaf/35803115> # Alec J. Wilkie
    a schema:Person ;
   schema:familyName "Wilkie" ;
   schema:givenName "Alec J." ;
   schema:givenName "A. J." ;
   schema:name "Alec J. Wilkie" ;
    .

<http://viaf.org/viaf/42416055> # Leszek Pacholski
    a schema:Person ;
   schema:familyName "Pacholski" ;
   schema:givenName "Leszek" ;
   schema:name "Leszek Pacholski" ;
    .

<http://viaf.org/viaf/50576391> # Jędrzej Wierzejewski
    a schema:Person ;
   schema:familyName "Wierzejewski" ;
   schema:givenName "Jędrzej" ;
   schema:givenName "J." ;
   schema:name "Jędrzej Wierzejewski" ;
    .

<http://worldcat.org/isbn/9783540383932>
    a schema:ProductModel ;
   schema:isbn "354038393X" ;
   schema:isbn "9783540383932" ;
    .

<http://worldcat.org/issn/0075-8434> # Lecture notes in mathematics,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/297492317> ; # Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
   schema:issn "0075-8434" ;
   schema:name "Lecture notes in mathematics," ;
    .

<http://www.worldcat.org/oclc/7073521>
    a schema:CreativeWork ;
   rdfs:label "Model theory of algebra and arithmetic." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/297492317> ; # Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
    .

<http://www.worldcat.org/title/-/oclc/297492317>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/297492317> ; # Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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