# 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