Nondiscrete mathematical induction. (English) Zbl 0367.46007

Gen. Topol. Relat. mod. Anal. Algebra IV, Proc. 4th Prague topol. Symp. 1976, Part A, Lect. Notes Math. 609, 166-178 (1977).


46A30 Open mapping and closed graph theorems; completeness (including \(B\)-, \(B_r\)-completeness)
03E99 Set theory
54H05 Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)
Full Text: EuDML