Harvey Friedman's Research on the Foundations of Mathematics - 1st Edition - ISBN: 9780444878342, 9780080960401

Harvey Friedman's Research on the Foundations of Mathematics, Volume 117

1st Edition

Editors: L.A. Harrington M.D. Morley A. Šcedrov S.G. Simpson
eBook ISBN: 9780080960401
Imprint: North Holland
Published Date: 1st November 1985
Page Count: 407
Tax/VAT will be calculated at check-out Price includes VAT (GST)
20% off
20% off
20% off
54.95
43.96
43.99
35.19
72.95
58.36
Unavailable
Price includes VAT (GST)
DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No 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:
Imprint:
North Holland
eBook ISBN:
9780080960401

About the Editors

L.A. Harrington Editor

M.D. Morley Editor

Affiliations and Expertise

Cornell University, Ithaca, New York, USA

A. Šcedrov Editor

S.G. Simpson Editor