Save up to 30% on Elsevier print and eBooks with free shipping. No promo code needed.
Save up to 30% on print and eBooks.
Harvey Friedman's Research on the Foundations of Mathematics
1st Edition, Volume 117 - November 1, 1985
Editors: L.A. Harrington, M.D. Morley, A. Šcedrov, S.G. Simpson
Language: English
eBook ISBN:9780080960401
9 7 8 - 0 - 0 8 - 0 9 6 0 4 0 - 1
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…Read more
Purchase options
LIMITED OFFER
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
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.
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.
No. of pages: 407
Language: English
Edition: 1
Volume: 117
Published: November 1, 1985
Imprint: North Holland
eBook ISBN: 9780080960401
MM
M.D. Morley
Affiliations and expertise
Cornell University, Ithaca, New York, USA
Read Harvey Friedman's Research on the Foundations of Mathematics on ScienceDirect