Extending the Topological Interpretation to Intuitionistic Analysis, II

Publisher Website

1 January 1970

book chapter
Published by Elsevier

p. 235-255
https://doi.org/10.1016/s0049-237x(08)70755-9

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

Intuitionistic Model Theory and the Cohen Independence Proofs
Published by Elsevier ,1970
A proof of the independence of the continuum hypothesis
Theory of Computing Systems, 1967
Informal Rigour and Completeness Proofs
Published by Elsevier ,1967
A remark on free choice sequences and the topological completeness proofs
The Journal of Symbolic Logic, 1958