02879nam 2200541 450 991082611570332120220902082716.00-8218-7694-5(CKB)3240000000069633(EBL)3112895(SSID)ssj0001339697(PQKBManifestationID)11915155(PQKBTitleCode)TC0001339697(PQKBWorkID)11355598(PQKB)10878862(MiAaPQ)EBC3112895(WaSeSS)Ind00039247(RPAM)3886499(PPN)197104290(EXLCZ)99324000000006963319900111h19901990 uy| 0engur|n|---|||||txtccrLogic and computation proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 /Wilfried Sieg, editorProvidence, Rhode Island :American Mathematical Society,[1990]©19901 online resource (314 p.)Contemporary mathematics,0271-4132 ;106"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.0-8218-5110-1 Includes bibliographical references.Contents -- Preface -- Some theories conservative over intuitionistic arithmetic -- Ramsey interpreted: A parametric version of Ramsey's theorem -- Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic -- A note on polynomial time computable arithmetic -- Axiomatizations and conservation results for fragments of bounded arithmetic -- A smash-based hierarchy between PTIME and PSPACE -- Polymorphic typed lambda-calculi in a type-free axiomatic framework -- Polynomial time computable arithmetic -- Metaprogramming in SIL -- W K Lo and orderings of countable abelian groups -- Marriage theorems and reverse mathematics -- Computationally based set existence principles -- Hierarchy results for mixed-time -- Polynomial time equivalence types -- Program development through proof transformation -- Some models of Scott's theory LC F based on a notion of rate of convergence -- Sharply bounded arithmetic and the function a -1 -- Radon-nikodym theorem is equivalent to arithmetical comprehension.Contemporary mathematics (American Mathematical Society).1060271-4132Computable functionsData processingCongressesComputable functionsData processing511.3Sieg Wilfried1945-Workshop on Logic and ComputationMiAaPQMiAaPQMiAaPQBOOK9910826115703321Logic and Computation376364UNINA