| 000 | 02436nmm a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 230306s9999||||xx |||||||||||||||||und|| | ||
| 020 | _a9780821876558 (online) | ||
| 245 | 0 |
_aLogic and combinatorics : _bproceedings of the AMSIMSSIAM Joint Summer Research Conference held August 410, 1985 |
|
| 260 |
_aProvidence, R.I. : _bAmerican Mathematical Society, _cc1987 |
||
| 300 | _a1 online resource (xi, 394 p. : ill.) | ||
| 490 |
_aContemporary mathematics _vv. 65 _x10983627 |
||
| 504 | _aIncludes bibliographies. | ||
| 505 |
_tDilators, 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 finiteunions 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 Ramseytype theorems and their provability in weak formal systems" ; Provably computable functions and the fast growing hierarchy ; Rigid Borel sets and better quasiorder 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 quasiorderings, long games and a combinatorial study of undecidability ; On the theory of quasiordinal diagrams ; Improved bounds to the length of proofs of finitistic consistency statements ; Nonstandard universes with strong embeddings, and their finite approximations ; Unprovable theorems and fastgrowing functions _rV Michele Abrusci ; V M Abrusci JY 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 Erdos ; Harvey Friedman Neil Robertson and Paul Seymour ; Neil Hindman ; Martin Loebl and Jiri Matousek ; Jaroslav Nesetril and Robin Thomas ; Mitsuhiro Okada and Gaisi Takeuti ; P Pudlak ; JP Ressayre ; Stephen G Simpson |
||
| 650 | _aCombinatorial analysis | ||
| 650 | _aLogic, Symbolic and mathematical | ||
| 700 | _aSimpson Stephen G | ||
| 856 | _uhttp://www.ams.org/conm/065/ | ||
| 999 |
_c28479 _d28479 |
||