Normal view MARC view ISBD view

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / [electronic resource] Stephen G. Simpson, editor. - Providence, R.I. : American Mathematical Society, c1987. - 1 online resource (xi, 394 p. : ill.) - Contemporary mathematics, v. 65 0271-4132 (print); 1098-3627 (online); . - Contemporary mathematics (American Mathematical Society) ; v. 65. .

Includes bibliographies.

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

ISBN: 9780821876558 (online)

Subjects--Topical Terms:
Logic, Symbolic and mathematical--Congresses.
Combinatorial analysis--Congresses.

LC Class. No.: QA9.A1 / A47 1985

Dewey Class. No.: 511.3