Why semisets?

 Access to full text

 Full (PDF)

1. B. BALCAR, A theorem on supports in the theory of semisets, Comment. Math. Univ. Carolinae 14 (1973), 1-6. (1973) Zbl0281.02060MR0340015
2. B. BALCAR, Teorie polomnožin, (thesis). 
3. K. ČUDA, Contributions to the theory of semisets III, Zeitschr. f. Math. Log. (to appeaг). 
4. A. A. FRAENKEL Y. BAR-HILLEL A. LEVY, Foundations of set theory, North-Holland P. C. 1973. (1973) MR0345816
5. P. HÁJEK, On semisets, in: Logic Colloquium '69, North-Holland P. C. 1971, p. 67-76. (1971) MR0289286
6. P. HÁJEK, Contributions to the theory of semisets I, Zeitschr. f. Math. Log. 18 (1972), 241-248. (1972) MR0307914
7. P. HÁJEK, Degrees of dependence in the theory of semisets, to appear in Fund. Math. (Mostowski's volume). MR0373890
8. P. HÁJEK D. HARMANCOVÁ, On generalized credence functions, Kybernetika (to appeaг). 
9. G. KREISEL J. L. KRIVINE, Modelltheorie, Springer Verlag, 1972. (1972) MR0351743
10. J. MLČEK A. SOCHOR, Contributions to the theory of semisets II, Zeitschr. f. Math. Log. 18 (1972), 407-427. (1972) MR0414357
11. A. MOSTOWSKI, Recent results in Set theory, in: Problems in the philosophy of mathematics (Lakatos - ed.), North-Holland P. C. 1967, 82-96. (1967) 
12. G. H. MÜLLER, An old philosophical question - and the recent гesults in the foundations of mathematics, ibid. p. 133-135. 
13. R. PARIKH, On existence and feasibility in arithmetic, Journ. Symb. Log. 36 (1971), 494-508. (1971) MR0304152
14. J. R. SHOENFIELD, Mathematical Logic, Addison-Wesley, 1967. (1967) Zbl0155.01102MR0225631
15. A. SOCHOR, On semisets defined by non-normal formulas, (in pгeparation). Zbl0319.02058
16. P. VOPӖNKA, The theory of semisets, in: Proc. Int. Congr. of Math. Nice, Gauthier-Villars 1971, p. 255-260. (1971) MR0439633
17. P. VOPĚNKA P. HÁJEK, The theory of semisets, Academia Prague and North-Holland P. C. 1972. (1972) MR0444473
18. P. ŠTĚPÁNEK, Některé podmodely ultrapгoduktu, (thesis), 

1. Karel Čuda, The nonabsolute boundedness model of the theory of semisets