Special instances of generalized continuity which are conservative over intuitionistic arithmetic

✍ Scribed by A.S Troelstra

• Book ID: 103998131
• Publisher: Elsevier Science
• Year: 1977
• Weight: 527 KB
• Volume: 80
• Category: Article
• ISSN: 1385-7258
• DOI: 10.1016/1385-7258(77)90047-6

✦ Synopsis

In this note it is shown that the addition of certain instances of the schema of generalized continuity to intuitionistic elementary analysis is conservative with respect to arithmetical sentences.