Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

The prehistory of the subsystems of second-order arithmetic

Tools
- Tools
+ Tools

Dean, Walter and Walsh, Sean (2017) The prehistory of the subsystems of second-order arithmetic. The Review of Symbolic Logic, 10 (2). pp. 357-396. ISSN 1755-0203.

[img] PDF
WRAP_Dean2016d.pdf - Accepted Version
Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer.

Download (1468Kb)
Official URL: https://doi.org/10.1017/S1755020316000411

Request Changes to record.

Abstract

This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincaré to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak König’s Lemma, and (iv) the large-scale intellectual backdrop to arithmetical transfinite recursion in descriptive set theory and its effectivization by Borel, Lusin, Addison, and others.

Item Type: Journal Article
Subjects: B Philosophy. Psychology. Religion > BC Logic
Q Science > QA Mathematics
Divisions: Faculty of Social Sciences > Philosophy
Journal or Publication Title: The Review of Symbolic Logic
Publisher: Cambridge University Press
ISSN: 1755-0203
Official Date: June 2017
Dates:
DateEvent
June 2017Published
20 February 2017Available
16 December 2016Available
Volume: 10
Number: 2
Page Range: pp. 357-396
Status: Peer Reviewed
Publication Status: Published
Access rights to Published version: Restricted or Subscription Access
Date of first compliant deposit: 21 December 2016

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us