skip to content
Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004 Preview this item
ClosePreview this item
Checking...

Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004

Author: Alessandro Andretta; Keith Kearnes; Domenico Zambella; Association for Symbolic Logic.
Publisher: Chicago, IL : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2008.
Series: Lecture notes in logic, 29.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

A collection of surveys, tutorials, and research papers from the 2004 Logic Colloquium.

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
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Alessandro Andretta; Keith Kearnes; Domenico Zambella; Association for Symbolic Logic.
ISBN: 9780521884242 0521884241
OCLC Number: 177021884
Description: xii, 220 pages : illustrations ; 24 cm.
Contents: Abstract elementary classes : some answers, more questions / John T. Baldwin --
On the density of Hausdorff ultrafilters / Tomek Bartoszynski and Saharon Shelah --
Zero-groups and maximal tori / Alessandro Berarducci --
Constructive set theory with operations / Andrea Cantini and Laura Crosilla --
Parametrized local zeta functions / Raf Cluckers --
Colourings of hypergraphs, permutation groups and CSP's / Benoit Larose and Lucien Haddad --
Tolerance intersection properties and subalgebras of squares / Paolo Lipparini --
Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer --
Hausdorff-dimension and weak truth-table reducibility / Frank Stephan --
Computation and the explanation of intelligent behaviours : ethologically motivated restart / Guglielmo Tamburrini and Edoardo Datteri --
Constructible sheaves and definability / Ivan Tomašić --
An overview of modern universal algebra / Ross Willard.
Series Title: Lecture notes in logic, 29.
Responsibility: edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella.
More information:

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/177021884> # Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "177021884" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/148855414#Place/cambridge> ; # Cambridge
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/148855414#Place/chicago_il> ; # Chicago, IL
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ilu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/148855414#Topic/symbolisk_logik> ; # Symbolisk logik
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/148855414#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/51140727> ; # Keith Kearnes
   schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
   schema:contributor <http://viaf.org/viaf/1920398> ; # Domenico Zambella
   schema:contributor <http://viaf.org/viaf/119780154> ; # Alessandro Andretta
   schema:creator <http://experiment.worldcat.org/entity/work/data/148855414#Meeting/logic_colloquium_2004_torino_italy> ; # Logic Colloquium (2004 : Torino, Italy)
   schema:datePublished "2008" ;
   schema:description "Abstract elementary classes : some answers, more questions / John T. Baldwin -- On the density of Hausdorff ultrafilters / Tomek Bartoszynski and Saharon Shelah -- Zero-groups and maximal tori / Alessandro Berarducci -- Constructive set theory with operations / Andrea Cantini and Laura Crosilla -- Parametrized local zeta functions / Raf Cluckers -- Colourings of hypergraphs, permutation groups and CSP's / Benoit Larose and Lucien Haddad -- Tolerance intersection properties and subalgebras of squares / Paolo Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension and weak truth-table reducibility / Frank Stephan -- Computation and the explanation of intelligent behaviours : ethologically motivated restart / Guglielmo Tamburrini and Edoardo Datteri -- Constructible sheaves and definability / Ivan Tomašić -- An overview of modern universal algebra / Ross Willard."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/148855414> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/148855414#Series/lecture_notes_in_logic> ; # Lecture notes in logic ;
   schema:name "Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004"@en ;
   schema:productID "177021884" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/177021884#PublicationEvent/chicago_il_association_for_symbolic_logic_cambridge_cambridge_university_press_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/148855414#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:publisher <http://experiment.worldcat.org/entity/work/data/148855414#Agent/association_for_symbolic_logic> ; # Association for Symbolic Logic
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0827/2008271710-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780521884242> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/177021884> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/148855414#Agent/association_for_symbolic_logic> # Association for Symbolic Logic
    a bgn:Agent ;
   schema:name "Association for Symbolic Logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/148855414#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/148855414#Series/lecture_notes_in_logic> # Lecture notes in logic ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/177021884> ; # Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
   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/119780154> # Alessandro Andretta
    a schema:Person ;
   schema:birthDate "1960" ;
   schema:familyName "Andretta" ;
   schema:givenName "Alessandro" ;
   schema:name "Alessandro Andretta" ;
    .

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/1920398> # Domenico Zambella
    a schema:Person ;
   schema:familyName "Zambella" ;
   schema:givenName "Domenico" ;
   schema:name "Domenico Zambella" ;
    .

<http://viaf.org/viaf/51140727> # Keith Kearnes
    a schema:Person ;
   schema:familyName "Kearnes" ;
   schema:givenName "Keith" ;
   schema:name "Keith Kearnes" ;
    .

<http://worldcat.org/isbn/9780521884242>
    a schema:ProductModel ;
   schema:isbn "0521884241" ;
   schema:isbn "9780521884242" ;
    .

<http://www.worldcat.org/title/-/oclc/177021884>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/177021884> ; # Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
   schema:dateModified "2016-05-11" ;
   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.