skip to content
Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 Preview this item
ClosePreview this item
Checking...

Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Author: Matthias Baaz; Sy D Friedman; Jan Krajíček
Publisher: Wellesley, Mass. : A.K. Peters, ©2005.
Series: Lecture notes in logic, 20.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, this book includes surveys and research articles from some of the world's preeminent  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

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Logic Colloquium (2001 : Vienna, Austria).
Logic Colloquium '01.
Wellesley, Mass. : A.K. Peters, ©2005
(OCoLC)654161870
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Matthias Baaz; Sy D Friedman; Jan Krajíček
ISBN: 1568812477 9781568812472 1568812485 9781568812489
OCLC Number: 57283715
Description: viii, 486 pages : illustrations ; 24 cm.
Contents: Resolution theorem proving : a logical point of view / Alexander Leitsch --
An introduction to proofs of determinacy of long games / Itay Neeman --
Modified bar recursion and classical dependent choice / Ulrich Berger and Paulo Oliva --
Choice and uniformity in weak applicative theories / Andrea Cantini --
Compactness and incompactness phenomena in set theory / James Cummings --
Selection for Borel relations / Harvey M. Friedman --
Interpolation in goal-directed proof systems 1 / D.M. Gabbay and N. Olivetti --
Sequences of degrees associated with models of arithmetic / Julia F. Knight --
The limit theory of generic polynomials / Pascal Koiran --
Moschovakis's notion of meaning as applied to linguistics / Michiel van Lambalgen and Fritz Hamm --
Tameness in expansions of the real field / Chris Miller --
The model theory of compact complex spaces / Rahim N. Moosa --
"Natural" representations and extensions of Godel's second theorem / Karl-Georg Niebergall --
Effective Hausdorff dimension / Jan Reimann and Frank Stephan --
Mutual stationarity in the core model / Ralf Schindler --
The pair (N[subscript n], N[subscript 0]) may fail N[subscript 0]-compactness / Saharon Shelah --
Incompleteness theorem and its frontier / Gaisi Takeuti --
Groups in simple theories / Frank Wagner --
Provable recursiveness and complexity / S.S. Wainer.
Series Title: Lecture notes in logic, 20.
Responsibility: edited by Matthias Baaz, Sy-David Friedman, Jan Krajíček.
More information:

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

User lists with this item (1)

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/57283715> # Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "57283715" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/904108314#Place/wellesley_mass> ; # Wellesley, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/904108314#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/2724418> ; # Matthias Baaz
   schema:contributor <http://experiment.worldcat.org/entity/work/data/904108314#Person/krajicek_jan> ; # Jan Krajíček
   schema:contributor <http://viaf.org/viaf/44524944> ; # Sy D. Friedman
   schema:copyrightYear "2005" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/904108314#Meeting/logic_colloquium_2001_vienna_austria> ; # Logic Colloquium (2001 : Vienna, Austria)
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/904108314> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/904108314#Series/lecture_notes_in_logic> ; # Lecture notes in logic ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/654161870> ;
   schema:name "Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001"@en ;
   schema:productID "57283715" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/57283715#PublicationEvent/wellesley_mass_a_k_peters_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/904108314#Agent/a_k_peters> ; # A.K. Peters
   schema:workExample <http://worldcat.org/isbn/9781568812489> ;
   schema:workExample <http://worldcat.org/isbn/9781568812472> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/57283715> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/904108314#Person/krajicek_jan> # Jan Krajíček
    a schema:Person ;
   schema:familyName "Krajíček" ;
   schema:givenName "Jan" ;
   schema:name "Jan Krajíček" ;
    .

<http://experiment.worldcat.org/entity/work/data/904108314#Place/vienna_austria> # Vienna, Austria)
    a schema:Place ;
   schema:name "Vienna, Austria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/904108314#Place/wellesley_mass> # Wellesley, Mass.
    a schema:Place ;
   schema:name "Wellesley, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/904108314#Series/lecture_notes_in_logic> # Lecture notes in logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/57283715> ; # Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
   schema:name "Lecture notes in logic ;" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/2724418> # Matthias Baaz
    a schema:Person ;
   schema:familyName "Baaz" ;
   schema:givenName "Matthias" ;
   schema:name "Matthias Baaz" ;
    .

<http://viaf.org/viaf/44524944> # Sy D. Friedman
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:familyName "Friedman" ;
   schema:givenName "Sy D." ;
   schema:name "Sy D. Friedman" ;
    .

<http://worldcat.org/isbn/9781568812472>
    a schema:ProductModel ;
   schema:isbn "1568812477" ;
   schema:isbn "9781568812472" ;
    .

<http://worldcat.org/isbn/9781568812489>
    a schema:ProductModel ;
   schema:isbn "1568812485" ;
   schema:isbn "9781568812489" ;
    .

<http://www.worldcat.org/oclc/654161870>
    a schema:CreativeWork ;
   rdfs:label "Logic Colloquium '01." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/57283715> ; # Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
    .

<http://www.worldcat.org/title/-/oclc/57283715>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/57283715> ; # Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
   schema:dateModified "2017-04-02" ;
   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.