@article{106387, author = {Josef Ml\v cek}, title = {Some automorphisms of natural numbers in the alternative set theory}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {026}, year = {1985}, pages = {467-475}, zbl = {0583.03042}, mrnumber = {817821}, language = {en}, url = {http://dml.mathdoc.fr/item/106387} }
Mlček, Josef. Some automorphisms of natural numbers in the alternative set theory. Commentationes Mathematicae Universitatis Carolinae, Tome 026 (1985) pp. 467-475. http://gdmltest.u-ga.fr/item/106387/
Mathematics in the alternative set theory, Teubner Texte, Leipzig 1979. (1979) | MR 0581368
Indiscernibles in the alternative set theory, Comment. Math. Univ. Carolinae 22 (1981), 785-798. (1981) | MR 0647026
Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-118. (1980) | MR 0566243