skip to content
Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 Preview this item
ClosePreview this item
Checking...

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985

Author: Stephen G Simpson; American Mathematical Society.; Institute of Mathematical Statistics.; Society for Industrial and Applied Mathematics.
Publisher: Providence, R.I. : American Mathematical Society, ©1987.
Series: Contemporary mathematics (American Mathematical Society), v. 65.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Contains articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California. This work consists of papers dealing  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Arcata (Calif., 1985)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Stephen G Simpson; American Mathematical Society.; Institute of Mathematical Statistics.; Society for Industrial and Applied Mathematics.
ISBN: 0821850520 9780821850527
OCLC Number: 15109097
Description: xi, 394 pages : illustrations ; 26 cm.
Contents: Dilators, generalized Goodstein sequences, independence results: A survey by V. M. Abrusci Some uses of dilators in combinatorial problems, part I by V. M. Abrusci, J.-Y. Girard, and J. Van de Wiele Cross products of Souslin trees by B. Ackman and J. Owings Ergodic Ramsey theory by V. Bergelson Ultrafilters related to Hindman's finite unions theorem and its extensions by A. Blass Logical analysis of some theorems of combinatorics and topological dynamics by A. R. Blass, J. L. Hirst, and S. G. Simpson A remark on partition relations for infinite ordinals, with an application to finite combinatorics by J. E. Baumgartner and A. Hajnal A summary of "On Ramsey-type Theorems and Their Provability in Weak Formal Systems" by S. H. Brackin Provably computable functions and the fast growing hierarchy by W. Buchholz and S. Wainer Rigid Borel sets and better quasiorder theory by F. van Engelen, A. W. Miller, and J. Steel Some problems on finite and infinite graphs by P. Erdos The metamathematics of the graph minor theorem by H. Friedman, N. Robertson, and P. D. Seymour Summable ultrafilters and finite sums by N. Hindman On undecidability of the weakened Kruskal theorem by M. Loebl and J. Matousek Well quasi orderings, long games, and a combinatorial study of undecidability by J. Nesetril and R. Thomas On the theory of quasi ordinal diagrams by M. Okada and G. Takeuti Improved bounds to the length of proofs of finitistic consistency statements by P. Pudlak Non standard universes with strong embeddings, and their finite approximations by J.-P. Ressayre Unprovable theorems and fast-growing functions by S. G. Simpson.
Series Title: Contemporary mathematics (American Mathematical Society), v. 65.
Responsibility: Stephen G. Simpson, editor.
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/15109097> # Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "15109097" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/189940870#Place/providence_r_i> ; # Providence, R.I.
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/analyse_combinatoire_congres> ; # Analyse combinatoire--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/analyse_combinatoire> ; # Analyse combinatoire
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/kongress> ; # Kongress
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/511.3/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://id.worldcat.org/fast/868961> ; # Combinatorial analysis
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/combinatoire> ; # combinatoire
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/indecidabilite> ; # indécidabilité
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/combinatorial_analysis> ; # Combinatorial analysis
    schema:about <http://experiment.worldcat.org/entity/work/data/189940870#Topic/kombinatorik> ; # Kombinatorik
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/131335379> ; # Society for Industrial and Applied Mathematics.
    schema:contributor <http://viaf.org/viaf/125586989> ; # Institute of Mathematical Statistics.
    schema:contributor <http://viaf.org/viaf/134278902> ; # American Mathematical Society.
    schema:contributor <http://viaf.org/viaf/27136196> ; # Stephen George Simpson
    schema:copyrightYear "1987" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/189940870#Meeting/ams_ims_siam_joint_summer_research_conference_in_the_mathematical_sciences_on_applications_of_mathematical_logic_to_finite_combinatorics_1985_humboldt_state_university> ; # AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University)
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/189940870> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Arcata (Calif., 1985)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/189940870#Series/contemporary_mathematics_american_mathematical_society> ; # Contemporary mathematics (American Mathematical Society) ;
    schema:isPartOf <http://worldcat.org/issn/0271-4132> ; # Contemporary mathematics,
    schema:name "Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985"@en ;
    schema:productID "15109097" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/15109097#PublicationEvent/providence_r_i_american_mathematical_society_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/189940870#Agent/american_mathematical_society> ; # American Mathematical Society
    schema:url <http://www.gbv.de/dms/bowker/toc/9780821850527.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780821850527> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/15109097> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/189940870#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
    schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/189940870#Meeting/ams_ims_siam_joint_summer_research_conference_in_the_mathematical_sciences_on_applications_of_mathematical_logic_to_finite_combinatorics_1985_humboldt_state_university> # AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/189940870#Place/humboldt_state_university> ; # Humboldt State University)
    schema:name "AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/189940870#Place/humboldt_state_university> # Humboldt State University)
    a schema:Place ;
    schema:name "Humboldt State University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/189940870#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
    schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/189940870#Series/contemporary_mathematics_american_mathematical_society> # Contemporary mathematics (American Mathematical Society) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/15109097> ; # Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
    schema:name "Contemporary mathematics (American Mathematical Society) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/189940870#Topic/analyse_combinatoire> # Analyse combinatoire
    a schema:Intangible ;
    schema:name "Analyse combinatoire"@fr ;
    schema:name "analyse combinatoire"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/189940870#Topic/analyse_combinatoire_congres> # Analyse combinatoire--Congrès
    a schema:Intangible ;
    schema:name "Analyse combinatoire--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/189940870#Topic/indecidabilite> # indécidabilité
    a schema:Intangible ;
    schema:name "indécidabilité"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/189940870#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
    schema:name "logique mathématique"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/189940870#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/189940870#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

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

<http://id.worldcat.org/fast/868961> # Combinatorial analysis
    a schema:Intangible ;
    schema:name "Combinatorial analysis"@en ;
    .

<http://viaf.org/viaf/125586989> # Institute of Mathematical Statistics.
    a schema:Organization ;
    schema:name "Institute of Mathematical Statistics." ;
    .

<http://viaf.org/viaf/131335379> # Society for Industrial and Applied Mathematics.
    a schema:Organization ;
    schema:name "Society for Industrial and Applied Mathematics." ;
    .

<http://viaf.org/viaf/134278902> # American Mathematical Society.
    a schema:Organization ;
    schema:name "American Mathematical Society." ;
    .

<http://viaf.org/viaf/27136196> # Stephen George Simpson
    a schema:Person ;
    schema:birthDate "1945" ;
    schema:familyName "Simpson" ;
    schema:givenName "Stephen George" ;
    schema:givenName "Stephen G." ;
    schema:name "Stephen George Simpson" ;
    .

<http://worldcat.org/isbn/9780821850527>
    a schema:ProductModel ;
    schema:isbn "0821850520" ;
    schema:isbn "9780821850527" ;
    .

<http://worldcat.org/issn/0271-4132> # Contemporary mathematics,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/15109097> ; # Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
    schema:issn "0271-4132" ;
    schema:name "Contemporary mathematics," ;
    .

<http://www.worldcat.org/title/-/oclc/15109097>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/15109097> ; # Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
    schema:dateModified "2015-07-21" ;
    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.