03 Mathematical logic and foundations
03Hxx Nonstandard models
03H99 None of the above, but in this section (24 articles)
-
Prati, Nando:
Alternative set theory with elementary classes.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 35
(1994),
issue 1,
pp. 193-203
-
Kalina, Martin; Zlatoš, Pavol:
Borel classes in AST. Measurability, cuts and equivalence.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 30
(1989),
issue 2,
pp. 357-372
-
Kalina, Martin; Zlatoš, Pavol:
Cuts of real classes.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 30
(1989),
issue 1,
pp. 129-136
-
Kalina, Martin:
A sequential approach to a construction of measures.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 30
(1989),
issue 1,
pp. 121-128
-
Kalina, Martin; Zlatoš, Pavol:
Arithmetic of cuts and cuts of classes.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 29
(1988),
issue 3,
pp. 435-456
-
Čuda, Karel; Tzouvaras, Athanossios:
Endomorphic cuts and tails.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 28
(1987),
issue 2,
pp. 241-249
-
Čuda, Karel:
The consistency of the measurability of projective semisets.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 27
(1986),
issue 1,
pp. 103-121
-
Sgall, Jiří:
Construction of the class FN.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 27
(1986),
issue 3,
pp. 435-436
-
Sochor, Antonín:
Metamathematics of the alternative set theory. III.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 24
(1983),
issue 1,
pp. 137-154
-
Sochor, Antonín; Vopěnka, Petr:
Shiftings of the horizon.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 24
(1983),
issue 1,
pp. 127-136
-
Sochor, Antonín:
Metamathematics of the alternative set theory. II.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 23
(1982),
issue 1,
pp. 55-79
-
Sochor, Antonín; Vopěnka, Petr:
The axiom of reflection.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 22
(1981),
issue 1,
pp. 87-111
-
Sochor, Antonín; Vencovská, Alena:
Indiscernibles in the alternative set theory.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 22
(1981),
issue 4,
pp. 785-798
-
Resl, Michal; Sochor, Antonín:
Provability in the alternative set theory.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 22
(1981),
issue 4,
pp. 655-660
-
Sochor, Antonín; Vopěnka, Petr:
Ultrafilters of sets.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 22
(1981),
issue 4,
pp. 689-699
-
Sochor, Antonín; Vopěnka, Petr:
Revealments.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 21
(1980),
issue 1,
pp. 97-118
-
Sochor, Antonín; Vopěnka, Petr:
Endomorphic universes and their standard extensions.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 20
(1979),
issue 4,
pp. 605-629
-
Vopěnka, Petr:
The lattice of indiscernibility equivalences.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 20
(1979),
issue 4,
pp. 631-638
-
Resl, Michal:
On models in the alternative set theory.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 20
(1979),
issue 4,
pp. 723-736
-
Laugwitz, Detlef:
K vývoju matematiky infinitezimálna a nekonečna.
(Slovak) [To the development of mathematics of infinitesimals and infinity].
Pokroky matematiky, fyziky a astronomie,
vol. 22
(1977),
issue 6,
pp. 326-329
-
Luxemburg, W. A. J.:
Neštandardné číselné systémy a odovodnenie Leibnizovho infinitezimálneho počtu.
(Slovak) [Nonstandard numeral systems and the justification of Leibniz's infinitesimal calculus].
Pokroky matematiky, fyziky a astronomie,
vol. 22
(1977),
issue 6,
pp. 316-325
-
Čuda, Karel:
A nonstandard set theory.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 17
(1976),
issue 4,
pp. 647-663
-
Sochor, Antonín:
Real classes in the ultrapower of hereditarily finite sets.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 16
(1975),
issue 4,
pp. 637-640
-
Hájek, Petr; Harmancová, Dagmar:
On generalized credence functions.
(English).
Kybernetika,
vol. 9
(1973),
issue 5,
pp. (343)-356