Series 13: Oversize Items and Addenda /repositories/5/archival_objects/1120403 1 box dates not examined Scope and Contents

Contains items from Series VII, IX, XI, and XII that are too large to be filed in logical sequence. Each of these items is cross-referenced at its logical place in the finding aid. The logical physical placement of each item is marked with a separation notice in the regular series box. In addition, there are unclassified oversize items not belonging under any of the other series, including unidentified notes and an unidentified draft. Addenda to the collection from three sources are filed at the end of the series. These include photocopied correspondence from the Heyting Archief and the Eidgenössische Technische Hochschule, and original material contributed by Dana Scott regarding the publication of 1972a and 1980. Document numbers in this series are no longer in the original sequence set by John W. Dawson.

 Arrangement

Box 15. Unclassified oversize items, followed by items grouped into Series VII-XII. Addenda to the collection filed at end of series.

 Unclassified oversize items: includes AMs notes on printed material (in German), and AMs lecture draft(?) (in Gabelsberger shorthand) /repositories/5/archival_objects/1120819 1 folder dates not examined 15 0 Yale honorary degree certificate /repositories/5/archival_objects/1120820 1 folder dates not examined 15 1 Oversize financial items from Series IX: Brno villa records of receipts and expenditures /repositories/5/archival_objects/1120821 1 folder dates not examined 15 2 Oversize photographs from Series XI: Photographs between 8″x10" and 11″x14" /repositories/5/archival_objects/1120822 1 folder dates not examined 15 3 Oversize ephemera from Series XII: Miscellaneous /repositories/5/archival_objects/1120823 1 folder dates not examined 15 4 Oversize photographs from Series XI: N.A.S.A. photographic surveys of Mars /repositories/5/archival_objects/1120824 1 folder dates not examined 15 5 Addenda to the collection /repositories/5/archival_objects/1120825 1 box dates not examined LsS [photocopies] from the Gödel/Paul Bernays correspondence stored at the Eidgenössische Technische Hochschule, Zürich /repositories/5/archival_objects/1121756 1 folder dates not examined 15 6 Gödel material contributed by Dana Scott: Includes 1972a TMs "Some remarks on the undecidability results" Wilfred Hodges/Dana Scott correspondence re: 1980; Paul Bernays/Dana Scott correspondence re: Gödel and Gödel's "Nachlass" /repositories/5/archival_objects/1121757 1 folder dates not examined 15 7 LsS [photocopies] from the Gödel/Arend Heyting correspondence stored at the Heyting Archief, Entschede /repositories/5/archival_objects/1121758 1 folder dates not examined 15 8