02 Logic and foundations
02-00 Difficult to classify at the second level (must be assigned at least one other classification number in this section) (6 articles)
- : Достаточные условия нормируемости линейных операторов в конструктивной математике. (Russian) [Sufficient conditions for the normability of linear operators in constructive mathematics]. Commentationes Mathematicae Universitatis Carolinae, vol. 12 (1971), issue 2, pp. 377-399
- : Cлабая сходимость в конструктивной математике. (Russian) [Weak convergence in constructive mathematics]. Commentationes Mathematicae Universitatis Carolinae, vol. 11 (1970), issue 2, pp. 285-308
- : Тeoремы о среднем значении для конструктивного интеграла. (Russian) [Mean value theorems for the constructive Lebesgue integral]. Commentationes Mathematicae Universitatis Carolinae, vol. 11 (1970), issue 2, pp. 249-269
- : Линейные функционалы в конструктивных пространствах $L_r$. (Russian) [Linear functionals in the constructive spaces $L_r$]. Commentationes Mathematicae Universitatis Carolinae, vol. 10 (1969), issue 3, pp. 357-390
- : Об измеримости множеств по Лебегу в конструктивной математике. (Russian) [The Lebesgue measurability of sets in constructive mathematic]. Commentationes Mathematicae Universitatis Carolinae, vol. 10 (1969), issue 3, pp. 463-492
- : Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz. (German) [The independence of Hermes-Scholz axiomatic system of propositional calculus]. Časopis pro pěstování matematiky, vol. 84 (1959), issue 4, pp. 454-460
Search
Partner of
