DML-CZ - Czech Digital Mathematics Library

11 Number theory

11Uxx Connections with logic

11U10 Nonstandard arithmetic (3 articles)

Henriksen, Melvin; Smith, Frank A.: Ordered ultraconnected rings. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 31 (1990), issue 1, pp. 41-47
Souček, J.: On some problems in $\beta N$. (English). In: Frolík, Z. (ed.): Abstracta. 8th Winter School on Abstract Analysis. Czechoslovak Academy of Sciences, Praha, 1980. pp. 158-160
Čuda, Karel: The nonabsolute boundedness model of the theory of semisets. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 4, pp. 763-769

Partner of