×

zbMATH — the first resource for mathematics

A note on Ashvinikumar’s paper: “The intuitionist contradictority of certain classical set-theoretic results”. (English) Zbl 0358.02036
The paper gives corrections to [Ashvinikumar, Nieuw Arch. Wiskd., III. Ser. 17, 218–222 (1969; Zbl 0188.31701)] plus proofs that there is no strongly one-one function from the circular continuum (which is infinite according to Brouwer’s definition) on a proper subset, and that a full one-one function need not be strongly one-one. All ideas are attributed to Ashvinikumar.
Remark: On p. 46, line \(-12\), “#” cannot be shown, only “\(\neq\) ”.
Reviewer: K. Schultz

MSC:
03F55 Intuitionistic mathematics
03E70 Nonclassical and second-order set theories
PDF BibTeX XML Cite