03352nam 2200601 450 991081882480332120220824065406.00-8218-7655-40-8218-5052-0(CKB)3240000000069593(EBL)3112923(SSID)ssj0001053414(PQKBManifestationID)11606394(PQKBTitleCode)TC0001053414(PQKBWorkID)11114228(PQKB)11573150(MiAaPQ)EBC3112923(WaSeSS)Ind00039245(RPAM)2880002(PPN)197103855(EXLCZ)99324000000006959319870108h19871987 uy| 0engur|n|---|||||txtccrLogic and combinatorics proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 /Stephen G. Simpson, editorProvidence, Rhode Island :American Mathematical Society,[1987]©19871 online resource (408 p.)Contemporary mathematics,0271-4132 ;650271-4132Description based upon print version of record.Includes bibliographies.Table of Contents -- Preface -- Dilators, Generalized Goodstein Sequences, Independence Results: A Survey -- Some Uses of Dilators in Combinatorial Problems, Part 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 Hierarcy -- 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 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 -- Non Standard Universes with Strong Embeddings, and Their Finite Approximations -- Unprovable Theorems and Fast-Growing Functions.Contemporary mathematics (American Mathematical Society).650271-4132Logic, Symbolic and mathematicalCongressesCombinatorial analysisCongressesLogic, Symbolic and mathematicalCombinatorial analysis511.3Simpson Stephen G(Stephen George),1945-American Mathematical Society,Institute of Mathematical Statistics,Society for Industrial and Applied Mathematics,AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite CombinatoricsMiAaPQMiAaPQMiAaPQBOOK9910818824803321Logic and combinatorics1427588UNINA