Nondiscrete mathematical induction and iterative existence proofs
DOI10.1016/0024-3795(76)90098-7zbMath0323.46005OpenAlexW2084344008MaRDI QIDQ1224265
Publication date: 1976
Published in: Linear Algebra and its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0024-3795(76)90098-7
Normed linear spaces and Banach spaces; Banach lattices (46B99) Fixed-point theorems (47H10) Other ``topological linear spaces (convergence spaces, ranked spaces, spaces with a metric taking values in an ordered structure more general than (mathbb{R}), etc.) (46A19) Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness) (46A30) Proof theory and constructive mathematics (03F99)
Related Items (17)
Cites Work
This page was built for publication: Nondiscrete mathematical induction and iterative existence proofs