TY  - BOOK
AU  - Simpson,Stephen G.
ED  - AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics
ED  - American Mathematical Society.
ED  - Institute of Mathematical Statistics.
ED  - Society for Industrial and Applied Mathematics.
TI  - Logic and combinatorics: proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 
T2  - Contemporary mathematics, 
SN  - 9780821876558 (online)
AV  - QA9.A1 A47 1985
U1  - 511.3 19
PY  - 1987///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Combinatorial analysis
N1  - Includes bibliographies; 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; Access is restricted to licensed institutions; Electronic reproduction; Providence, Rhode Island; American Mathematical Society; 2012
UR  - http://www.ams.org/conm/065/
UR  - http://dx.doi.org/10.1090/conm/065
ER  -