IMSc Library catalog › Details for: Logic and combinatorics :

Normal view MARC view ISBD view

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): Simpson, Stephen G. (Stephen George), 1945- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied MathematicsMaterial type: Text

TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 65.Publication details: Providence, R.I. : American Mathematical Society, c1987Description: 1 online resource (xi, 394 p. : ill.)ISBN: 9780821876558 (online)Subject(s): Logic, Symbolic and mathematical -- Congresses | Combinatorial analysis -- CongressesAdditional physical formats: Logic and combinatorics :DDC classification: 511.3 LOC classification: QA9.A1 | A47 1985Online resources: Contents | Contents

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 ( 1 )
Title notes ( 44 )
Comments ( 0 )

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