AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Logic and Combinatorics
About this Title
Stephen G. Simpson, Editor
Publication: Contemporary Mathematics
Publication Year:
1987; Volume 65
ISBNs: 978-0-8218-5052-7 (print); 978-0-8218-7655-8 (online)
DOI: https://doi.org/10.1090/conm/065
MathSciNet review: 891239
Table of Contents
Download chapters as PDF
Front/Back Matter
Articles
- V. Michele Abrusci – Dilators, generalized Goodstein sequences, independence results: a survey [MR 891240]
- V. M. Abrusci, J.-Y. Girard and J. Van de Wiele – Some uses of dilators in combinatorial problems. I [MR 891241]
- Bruce Ackman and Jim Owings – Cross products of Souslin trees [MR 891242]
- Vitaly Bergelson – Ergodic Ramsey theory [MR 891243]
- Andreas Blass – Ultrafilters related to Hindman’s finite-unions theorem and its extensions [MR 891244]
- Andreas R. Blass, Jeffry L. Hirst and Stephen G. Simpson – Logical analysis of some theorems of combinatorics and topological dynamics [MR 891245]
- J. E. Baumgartner and A. Hajnal – A remark on partition relations for infinite ordinals with an application to finite combinatorics [MR 891246]
- Stephen H. Brackin – A summary of “On Ramsey-type theorems and their provability in weak formal systems” [MR 891247]
- Wilfried Buchholz and Stan Wainer – Provably computable functions and the fast growing hierarchy [MR 891248]
- Fons van Engelen, Arnold W. Miller and John Steel – Rigid Borel sets and better quasi-order theory [MR 891249]
- P. Erdős – Some problems on finite and infinite graphs [MR 891250]
- Harvey Friedman, Neil Robertson and Paul Seymour – The metamathematics of the graph minor theorem [MR 891251]
- Neil Hindman – Summable ultrafilters and finite sums [MR 891252]
- Martin Loebl and Jiří Matoušek – On undecidability of the weakened Kruskal theorem [MR 891253]
- Jaroslav Nešetřil and Robin Thomas – Well quasi-orderings, long games and a combinatorial study of undecidability [MR 891254]
- Mitsuhiro Okada and Gaisi Takeuti – On the theory of quasi-ordinal diagrams [MR 891255]
- P. Pudlák – Improved bounds to the length of proofs of finitistic consistency statements [MR 891256]
- J.-P. Ressayre – Nonstandard universes with strong embeddings, and their finite approximations [MR 891257]
- Stephen G. Simpson – Unprovable theorems and fast-growing functions [MR 891258]