Nonstandard models of arithmetic as an alternative basis for continuum considerations Karel Čuda (1983) Commentationes Mathematicae Universitatis Carolinae