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:   Print book : Conference publication : EnglishView all editions and formats
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

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online 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
(OCoLC)625795633
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Leszek Pacholski; J Wierzejewski; A J Wilkie
ISBN: 0387102698 9780387102696 3540102698 9783540102694
OCLC Number: 7073521
Description: vi, 410 pages : illustrations ; 24 cm.
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'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 nullstellensatze.- 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/7073521> # 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:CreativeWork ;
   library:oclcnum "7073521" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/896313306#Place/berlin> ; # Berlin
   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:about <http://dewey.info/class/510/e19/> ;
   schema:about <http://id.worldcat.org/fast/1024368> ; # Model theory
   schema:about <http://experiment.worldcat.org/entity/work/data/896313306#Topic/logique_algebrique> ; # Logique algébrique
   schema:bookFormat bgn:PrintBook ;
   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:exampleOfWork <http://worldcat.org/entity/work/id/896313306> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/896313306#Series/lecture_notes_in_mathematics> ; # 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/625795633> ;
   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 "7073521" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/7073521#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.gbv.de/dms/hbz/toc/ht000934502.pdf> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1790290&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1790290&custom_att_2=simple_viewer> ;
   schema:url <http://swbplus.bsz-bw.de/bsz007891237cov.htm> ;
   schema:url <http://qe2a-proxy.mun.ca/Login?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0075-8434&volume=834> ;
   schema:workExample <http://worldcat.org/isbn/9783540102694> ;
   schema:workExample <http://worldcat.org/isbn/9780387102696> ;
   umbel:isLike <http://d-nb.info/810152711> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/7073521> ;
    .


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> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/7073521> ; # 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 ;" ;
    .

<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/7073521> ; # 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/9780387102696>
    a schema:ProductModel ;
   schema:isbn "0387102698" ;
   schema:isbn "9780387102696" ;
    .

<http://worldcat.org/isbn/9783540102694>
    a schema:ProductModel ;
   schema:isbn "3540102698" ;
   schema:isbn "9783540102694" ;
    .

<http://www.worldcat.org/oclc/625795633>
    a schema:CreativeWork ;
   rdfs:label "Model theory of algebra and arithmetic." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/7073521> ; # 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/7073521>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/7073521> ; # 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 "2018-03-10" ;
   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.