Logic and combinatorics : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor.

By:

AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University)

Contributor(s):

Material type: Text

TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 65.Publication details: Providence, R.I. : American Mathematical Society, c1987.Description: 1 online resource (xi, 394 p. : ill.)ISBN:

9780821876558 (online)

Subject(s):

Additional physical formats: Logic and combinatorics :DDC classification:

511.3 19

LOC classification:

QA9.A1 A47 1985

Online resources:

Contents:

Dilators, generalized Goodstein sequences, independence results: a survey / V. Michele Abrusci -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891240 Some uses of dilators in combinatorial problems. I / V. M. Abrusci, J.-Y. Girard and J. Van de Wiele -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891241 Cross products of Souslin trees / Bruce Ackman and Jim Owings -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891242 Ergodic Ramsey theory / Vitaly Bergelson -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891243 Ultrafilters related to Hindman's finite-unions theorem and its extensions / Andreas Blass -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891244 Logical analysis of some theorems of combinatorics and topological dynamics / Andreas R. Blass, Jeffry L. Hirst and Stephen G. Simpson -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891245 A remark on partition relations for infinite ordinals with an application to finite combinatorics / J. E. Baumgartner and A. Hajnal -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891246 A summary of "On Ramsey-type theorems and their provability in weak formal systems" / Stephen H. Brackin -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891247 Provably computable functions and the fast growing hierarchy / Wilfried Buchholz and Stan Wainer -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891248 Rigid Borel sets and better quasi-order theory / Fons van Engelen, Arnold W. Miller and John Steel -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891249 Some problems on finite and infinite graphs / P. Erd�os -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891250 The metamathematics of the graph minor theorem / Harvey Friedman, Neil Robertson and Paul Seymour -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891251 Summable ultrafilters and finite sums / Neil Hindman -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891252 On undecidability of the weakened Kruskal theorem / Martin Loebl and Ji�r�i Matou�sek -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891253 Well quasi-orderings, long games and a combinatorial study of undecidability / Jaroslav Ne�set�ril and Robin Thomas -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891254 On the theory of quasi-ordinal diagrams / Mitsuhiro Okada and Gaisi Takeuti -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891255 Improved bounds to the length of proofs of finitistic consistency statements / P. Pudl�ak -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891256 Nonstandard universes with strong embeddings, and their finite approximations / J.-P. Ressayre -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891257 Unprovable theorems and fast-growing functions / Stephen G. Simpson -- http://www.ams.org/conm/065/ http://dx.doi.org/10.1090/conm/065/891258

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Current library	Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library	IMSc Library			Link to resource	Available		EBK11344

Includes bibliographies.

Dilators, generalized Goodstein sequences, independence results: a survey / V. Michele Abrusci -- Some uses of dilators in combinatorial problems. I / V. M. Abrusci, J.-Y. Girard and J. Van de Wiele -- Cross products of Souslin trees / Bruce Ackman and Jim Owings -- Ergodic Ramsey theory / Vitaly Bergelson -- Ultrafilters related to Hindman's finite-unions theorem and its extensions / Andreas Blass -- Logical analysis of some theorems of combinatorics and topological dynamics / Andreas R. Blass, Jeffry L. Hirst and Stephen G. Simpson -- A remark on partition relations for infinite ordinals with an application to finite combinatorics / J. E. Baumgartner and A. Hajnal -- A summary of "On Ramsey-type theorems and their provability in weak formal systems" / Stephen H. Brackin -- Provably computable functions and the fast growing hierarchy / Wilfried Buchholz and Stan Wainer -- Rigid Borel sets and better quasi-order theory / Fons van Engelen, Arnold W. Miller and John Steel -- Some problems on finite and infinite graphs / P. Erd�os -- The metamathematics of the graph minor theorem / Harvey Friedman, Neil Robertson and Paul Seymour -- Summable ultrafilters and finite sums / Neil Hindman -- On undecidability of the weakened Kruskal theorem / Martin Loebl and Ji�r�i Matou�sek -- Well quasi-orderings, long games and a combinatorial study of undecidability / Jaroslav Ne�set�ril and Robin Thomas -- On the theory of quasi-ordinal diagrams / Mitsuhiro Okada and Gaisi Takeuti -- Improved bounds to the length of proofs of finitistic consistency statements / P. Pudl�ak -- Nonstandard universes with strong embeddings, and their finite approximations / J.-P. Ressayre -- Unprovable theorems and fast-growing functions / Stephen G. Simpson --