Catalogue description Untitled paper beginning '9. Finite models of Church's and Zermelo's systems'

This record is held by Cambridge University: King's College Archive Centre

Details of AMT/C/5
Reference: AMT/C/5
Title: Untitled paper beginning '9. Finite models of Church's and Zermelo's systems'
Description:

The file comprises a typescript with autograph manuscript annotations, the pages are numbered 60 - 73. The paper is probably a continuation of 'Some theorems about Church's system'. The last page has a manuscript note by R. O. Gandy, 'Continuation of a paper about virtual types in Church's system? Consistency and completeness for the system with axioms of finitude in place of inf. are sketched'. See online copies at the Turing Digital Archive
Date: (Undated.)
Held by: Cambridge University: King's College Archive Centre, not available at The National Archives
Language: English
Physical description: 14 sheets in envelope paper

Have you found an error with this catalogue description?

Help with your research