Ishihara's proof technique in constructive analysis

DOI10.1016/S0019-3577(03)90001-2zbMath1075.03034OpenAlexW2064351239MaRDI QIDQ1433041

Hajime Ishihara, Dirk van Dalen, Douglas S. Bridges

Publication date: 15 June 2004

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-3577(03)90001-2

zbMATH Keywords

sequential continuitycomplete metric spacesconstructive analysis

Mathematics Subject Classification ID

Complete metric spaces (54E50) Constructive and recursive analysis (03F60)

Related Items

Continuity properties of preference relations, Continuity Properties of Preference Relations, Constructive closed range and open mapping theorems, Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• Constructive closed range and open mapping theorems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item