Logic and combinatorics : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor.
Material type: 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 | ContentsCurrent 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 --
http://dx.doi.org/10.1090/conm/065/891240
http://dx.doi.org/10.1090/conm/065/891241
http://dx.doi.org/10.1090/conm/065/891242
http://dx.doi.org/10.1090/conm/065/891243
http://dx.doi.org/10.1090/conm/065/891244
http://dx.doi.org/10.1090/conm/065/891245
http://dx.doi.org/10.1090/conm/065/891246
http://dx.doi.org/10.1090/conm/065/891247
http://dx.doi.org/10.1090/conm/065/891248
http://dx.doi.org/10.1090/conm/065/891249
http://dx.doi.org/10.1090/conm/065/891250
http://dx.doi.org/10.1090/conm/065/891251
http://dx.doi.org/10.1090/conm/065/891252
http://dx.doi.org/10.1090/conm/065/891253
http://dx.doi.org/10.1090/conm/065/891254
http://dx.doi.org/10.1090/conm/065/891255
http://dx.doi.org/10.1090/conm/065/891256
http://dx.doi.org/10.1090/conm/065/891257
http://dx.doi.org/10.1090/conm/065/891258
Access is restricted to licensed institutions
Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012
Mode of access : World Wide Web
Description based on print version record.
There are no comments on this title.