Why semisets?
Hájek, Petr
Commentationes Mathematicae Universitatis Carolinae, Tome 014 (1973), p. 397-420 / Harvested from Czech Digital Mathematics Library
Publié le : 1973-01-01
Classification:  02A05,  02D99,  02E05,  02K05,  02K10,  02K15,  03A05,  03E30,  03E70,  03F99
@article{105499,
     author = {Petr H\'ajek},
     title = {Why semisets?},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {014},
     year = {1973},
     pages = {397-420},
     zbl = {0268.02005},
     mrnumber = {0342393},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105499}
}
Hájek, Petr. Why semisets?. Commentationes Mathematicae Universitatis Carolinae, Tome 014 (1973) pp. 397-420. http://gdmltest.u-ga.fr/item/105499/

B. Balcar A theorem on supports in the theory of semisets, Comment. Math. Univ. Carolinae 14 (1973), 1-6. (1973) | MR 0340015 | Zbl 0281.02060

B. Balcar Teorie polomnožin, (thesis).

K. Čuda Contributions to the theory of semisets III, Zeitschr. f. Math. Log. (to appeaг).

A. A. Fraenkel Y. Bar-Hillel A. Levy Foundations of set theory, North-Holland P. C. 1973. (1973) | MR 0345816

P. Hájek On semisets, in: Logic Colloquium '69, North-Holland P. C. 1971, p. 67-76. (1971) | MR 0289286

P. Hájek Contributions to the theory of semisets I, Zeitschr. f. Math. Log. 18 (1972), 241-248. (1972) | MR 0307914

P. Hájek Degrees of dependence in the theory of semisets, to appear in Fund. Math. (Mostowski's volume). | MR 0373890

P. Hájek D. Harmancová On generalized credence functions, Kybernetika (to appeaг).

G. Kreisel J. L. Krivine Modelltheorie, Springer Verlag, 1972. (1972) | MR 0351743

J. Mlček A. Sochor Contributions to the theory of semisets II, Zeitschr. f. Math. Log. 18 (1972), 407-427. (1972) | MR 0414357

A. Mostowski Recent results in Set theory, in: Problems in the philosophy of mathematics (Lakatos - ed.), North-Holland P. C. 1967, 82-96. (1967)

G. H. Müller An old philosophical question - and the recent гesults in the foundations of mathematics, ibid. p. 133-135.

R. Parikh On existence and feasibility in arithmetic, Journ. Symb. Log. 36 (1971), 494-508. (1971) | MR 0304152

J. R. Shoenfield Mathematical Logic, Addison-Wesley, 1967. (1967) | MR 0225631 | Zbl 0155.01102

A. Sochor On semisets defined by non-normal formulas, (in pгeparation). | Zbl 0319.02058

P. Vopӗnka The theory of semisets, in: Proc. Int. Congr. of Math. Nice, Gauthier-Villars 1971, p. 255-260. (1971) | MR 0439633

P. Vopěnka P. Hájek The theory of semisets, Academia Prague and North-Holland P. C. 1972. (1972) | MR 0444473

P. Štěpánek Některé podmodely ultrapгoduktu, (thesis),