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:   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 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


<http://www.worldcat.org/oclc/15109097>
library:oclcnum"15109097"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
<http://viaf.org/viaf/27136196>
rdf:typeschema:Person
schema:birthDate"1945"
schema:familyName"Simpson"
schema:givenName"Stephen G."
schema:name"Simpson, Stephen G. (Stephen George), 1945-"
schema:copyrightYear"1987"
schema:creator
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/189940870>
schema:genre"Conference proceedings"@en
schema:genre"Arcata (Calif., 1985)"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985"@en
schema:publication
schema:publisher
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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