Čuda, Karel On the adjunction of any semiset to the system of \(Sd_ V\)-classes in AST. (English) Zbl 0696.03027 Commentat. Math. Univ. Carol. 30, No. 4, 775-778 (1989). Reviewer: K.Čuda MSC: 03E70 03H15 PDF BibTeX XML Cite \textit{K. Čuda}, Commentat. Math. Univ. Carol. 30, No. 4, 775--778 (1989; Zbl 0696.03027) Full Text: EuDML OpenURL
Čuda, Karel; Vojtášková, Blanka Monads of indiscernibles. (English) Zbl 0671.03033 Commentat. Math. Univ. Carol. 30, No. 1, 109-119 (1989). Reviewer: K.Čuda MSC: 03E70 54J05 03E05 PDF BibTeX XML Cite \textit{K. Čuda} and \textit{B. Vojtášková}, Commentat. Math. Univ. Carol. 30, No. 1, 109--119 (1989; Zbl 0671.03033) Full Text: EuDML OpenURL
Sochor, A. Extendability of functions on models of \(ZF_{Fin}\). (English) Zbl 0653.03036 Z. Math. Logik Grundlagen Math. 34, No. 4, 309-315 (1988). Reviewer: K.Čuda MSC: 03E70 03C62 03H15 03C20 PDF BibTeX XML Cite \textit{A. Sochor}, Z. Math. Logik Grundlagen Math. 34, No. 4, 309--315 (1988; Zbl 0653.03036) Full Text: DOI OpenURL
Čuda, K.; Tzouvaras, A. Endomorphic cuts and tails. (English) Zbl 0634.03053 Commentat. Math. Univ. Carol. 28, 241-249 (1987). Reviewer: K.Čuda MSC: 03E70 03H99 PDF BibTeX XML Cite \textit{K. Čuda} and \textit{A. Tzouvaras}, Commentat. Math. Univ. Carol. 28, 241--249 (1987; Zbl 0634.03053) Full Text: EuDML OpenURL
Tzouvaras, A. Minimal ultrafilters and maximal endomorphic universes. (English) Zbl 0587.03040 Commentat. Math. Univ. Carol. 26, 719-726 (1985). Reviewer: K.Čuda MSC: 03E70 03C20 PDF BibTeX XML Cite \textit{A. Tzouvaras}, Commentat. Math. Univ. Carol. 26, 719--726 (1985; Zbl 0587.03040) Full Text: EuDML OpenURL
Čuda, K.; Vojtášková, B. Models of AST without choice. (English) Zbl 0561.03028 Commentat. Math. Univ. Carol. 25, 555-589 (1984). MSC: 03E70 03E35 03E25 PDF BibTeX XML Cite \textit{K. Čuda} and \textit{B. Vojtášková}, Commentat. Math. Univ. Carol. 25, 555--589 (1984; Zbl 0561.03028) OpenURL
Sochor, A.; Vopenka, P. Shiftings of the horizon. (English) Zbl 0524.03045 Commentat. Math. Univ. Carol. 24, 127-136 (1983). MSC: 03E70 03H99 PDF BibTeX XML Cite \textit{A. Sochor} and \textit{P. Vopenka}, Commentat. Math. Univ. Carol. 24, 127--136 (1983; Zbl 0524.03045) Full Text: EuDML OpenURL
Sochor, A.; Vencovska, A. Indiscernibles in the alternative set theory. (English) Zbl 0493.03029 Commentat. Math. Univ. Carol. 22, 785-798 (1981). MSC: 03E70 PDF BibTeX XML Cite \textit{A. Sochor} and \textit{A. Vencovska}, Commentat. Math. Univ. Carol. 22, 785--798 (1981; Zbl 0493.03029) Full Text: EuDML OpenURL
Sochor, A.; Vopenka, P. The axiom of reflection. (English) Zbl 0454.03027 Commentat. Math. Univ. Carol. 22, 87-111 (1981). MSC: 03E70 03H99 03C20 03E65 PDF BibTeX XML Cite \textit{A. Sochor} and \textit{P. Vopenka}, Commentat. Math. Univ. Carol. 22, 87--111 (1981; Zbl 0454.03027) Full Text: EuDML OpenURL
Cuda, Karel An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST). (English) Zbl 0445.03042 Commentat. Math. Univ. Carol. 21, 433-445 (1980). MSC: 03H05 03H15 03E70 PDF BibTeX XML Cite \textit{K. Cuda}, Commentat. Math. Univ. Carol. 21, 433--445 (1980; Zbl 0445.03042) Full Text: EuDML OpenURL
Sochor, A.; Vopenka, P. Revealments. (English) Zbl 0428.03049 Commentat. Math. Univ. Carol. 21, 97-118 (1980). MSC: 03E70 03E99 03H99 PDF BibTeX XML Cite \textit{A. Sochor} and \textit{P. Vopenka}, Commentat. Math. Univ. Carol. 21, 97--118 (1980; Zbl 0428.03049) Full Text: EuDML OpenURL
Sochor, A.; Vopenka, P. Endomorphic universes and their standard extensions. (English) Zbl 0433.03029 Commentat. Math. Univ. Carol. 20, 605-629 (1979). MSC: 03E70 03H99 03C20 PDF BibTeX XML Cite \textit{A. Sochor} and \textit{P. Vopenka}, Commentat. Math. Univ. Carol. 20, 605--629 (1979; Zbl 0433.03029) Full Text: EuDML OpenURL