Vol. 68, No. 1, 1977

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 307: 1  2
Vol. 306: 1  2
Vol. 305: 1  2
Vol. 304: 1  2
Vol. 303: 1  2
Vol. 302: 1  2
Vol. 301: 1  2
Vol. 300: 1  2
Online Archive
Volume:
Issue:
     
The Journal
Subscriptions
Editorial Board
Officers
Contacts
 
Submission Guidelines
Submission Form
Policies for Authors
 
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author Index
To Appear
 
Other MSP Journals
Continuity and comprehension in intuitionistic formal systems

Michael James Beeson

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

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

(1) Are all extensional functions (say from NN 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
Authors
Michael James Beeson