Provability in the alternative set theory

Previous | Up | Next

Article

Provability in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 655-660

MSC: 03E70, 03F99, 03H99 | MR 647014 | Zbl 0493.03027

References:

[R 1] M. RESL: On models in the alternative set theory. Comment. Math. Univ. Carolinae 20 (1979), 723-736. MR 0555185 | Zbl 0433.03032

[S 1] A. SOCHOR: Metamathematica of the alternative set theory I. Comment. Math. Univ. Carolinae 20 (1979), 697-722. MR 0555184

[S 3] A. SOCHOR: Metamathematica of the alternative set theory III. to appear in the Comment. Math. Univ. Carolinae. MR 0703933

[V] P. VOPĚNKA: Mathematics in the alternative set theory. Teubner-Texte, Leipzig 1979. MR 0581368

[V-H] P. VOPĚNKA P. HÁJEK: The Theory of Semisets. North-Holland, Amsterdam and Academia, Prague, 1972. MR 0444473

Partner of