Continuity and comprehension in intuitionistic formal systems

Michael James Beeson

Vol. 68 (1977), No. 1, 29–40

DOI: 10.2140/pjm.1977.68.29

Abstract

Two questions which are of fundamental importance in the foundations of constructive mathematics are

(1) Are all extensional functions (say from N^N to N) continuous?

(2) What general principles for defining sets (or species) are constructively justifiable?

This paper is concerned with metamathematical results related to these questions.

Mathematical Subject Classification

Primary: 02E05, 02E05

Milestones

Received: 4 November 1975

Published: 1 January 1977