Harvey Friedman's Research on the Foundations of Mathematics, Volume 117
1st Edition
Secure Checkout
Personal information is secured with SSL technology.Free Shipping
Free global shippingNo minimum order.
Table of Contents
Biography of Harvey Friedman. The Work of Harvey Friedman (A. Nerode, L.A. Harrington). Borel Diagonalization and Abstract Set Theory: Recent Results of Harvey Friedman (L.J. Stanley). Nonprovability of Certain Combinatorial Properties of Finite Trees (S.G. Simpson). The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems (R.L. Smith). Friedman's Research on Subsystems of Second Order Arithmetic (S.G. Simpson). Borel Structures for First-Order and Extended Logics (C. Steinhorn). Nonstandard Models and Related Developments (C. Smoryński). Intuitionistic Formal Systems (D. Leivant). Intuitionistic Set Theory (A. Ščedrov). Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory (J.C. Shepherdson). Computational Complexity of Real Functions (J.C. Shepherdson). The Pebble Game and Logics of Programs (A.J. Kfoury). Equality Between Functionals Revisited (R. Statman). Mathematical Aspects of Recursive Function Theory (R.E. Byerle). ``Big'' News From Archimedes to Friedman (C. Smoryński). Some Rapidly Growing Functions (C. Smoryński). The Varieties of Arboreal Experience (C. Smoryński). Does Gödel's Theorem Matter to Mathematics? (G. Kolata). Harvey Friedman's Publications.
Description
This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers.
Details
- No. of pages:
- 407
- Language:
- English
- Copyright:
- © North Holland 1985
- Published:
- 1st November 1985
- Imprint:
- North Holland
- eBook ISBN:
- 9780080960401
Ratings and Reviews
About the Editors
L.A. Harrington
M.D. Morley
Affiliations and Expertise
Cornell University, Ithaca, New York, USA
A. Šcedrov
S.G. Simpson
Request Quote
Tax Exemption
Elsevier.com visitor survey
We are always looking for ways to improve customer experience on Elsevier.com.
We would like to ask you for a moment of your time to fill in a short questionnaire, at the end of your visit.
If you decide to participate, a new browser tab will open so you can complete the survey after you have completed your visit to this website.
Thanks in advance for your time.