Email RIS file
Bookmark
Report an Issue

Logic and computation [electronic resource] : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor

Conference Author
Workshop on Logic and Computation (1987 : Carnegie Mellon University)
Published
Providence, R.I. : American Mathematical Society, [1990]
Copyright Date
©1990
Physical Description
xiv, 297 pages : illustrations ; 25 cm.
Additional Creators
Sieg, Wilfried, 1945-
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Restrictions on Access
Access is restricted to licensed institutions.
Contents
Some theories conservative over intuitionistic arithmetic / Michael Beeson -- Ramsey interpreted: a parametric version of Ramsey's theorem / Gianluigi Bellin -- Notions of closed subsets of a complete separable metric space in weak subsystems of second-order arithmetic / Douglas K. Brown -- A note on polynomial time computable arithmetic / Wilfried Buchholz and Wilfried Sieg -- Axiomatizations and conservation results for fragments of bounded arithmetic / Samuel R. Buss -- A smash-based hierarchy between PTIME and PSPACE (preliminary version) / Peter G. Clote -- Polymorphic typed lambda-calculi in a type-free axiomatic framework / Solomon Feferman -- Polynomial time computable arithmetic / Fernando Ferreira -- Metaprogramming in SIL / Chris Goad -- ${\rm WKL}_0$ and orderings of countable abelian groups / Kostas Hatzikiriakou and Stephen G. Simpson -- Marriage theorems and reverse mathematics / Jeffry L. Hirst -- Computationally based set existence principles / Daniel Leivant -- Hierarchy results for mixed-time / Ken McAloon -- Polynomial time equivalence types / A. Nerode and J. B. Remmel -- Program development through proof transformation / Frank Pfenning -- Some models of Scott's theory ${\rm LCF}$ based on a notion of rate of convergence / Rick Statman -- Sharply bounded arithmetic and the function $a \stackrel {.}{-} 1$ / Gaisi Takeuti -- Radon-Nikodym theorem is equivalent to arithmetical comprehension / Xiaokang Yu --
Subject(s)
ISBN
9780821854396 (google)
9780821876947 (electronic)
9780821851104 (print)
0821851101 (alk. paper)
Note
"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.
AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
Bibliography Note
Includes bibliographical references.
Technical Details
Mode of access : World Wide Web.
View MARC record | catkey: 8038876