Strong continuity implies uniform sequential continuity

DOI10.1007/S00153-005-0291-1zbMath1088.03048OpenAlexW2034378131MaRDI QIDQ2573727

Hajime Ishihara, Douglas S. Bridges, Peter M. Schuster, Luminiţa Simona Vîţă

Publication date: 24 November 2005

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0291-1

zbMATH Keywords

nearness spacesstrong continuityconstructive topologyapartness spaces

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Weak and generalized continuity (54C08) Constructive and recursive analysis (03F60) Nearness spaces (54E17) Other constructive mathematics (03F65)

Related Items (9)

Constructive notions of equicontinuity ⋮ A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity ⋮ Continuity properties of preference relations ⋮ On the failure of BD-ℕ and BD, and an application to the anti-specker property ⋮ Continuity Properties of Preference Relations ⋮ Realizability models refuting Ishihara's boundedness principle ⋮ Intuitionistic sequential compactness? ⋮ A continuity principle, a version of Baire's theorem and a boundedness principle ⋮ Principles Weaker than BD-N

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Markov's principle, Church's thesis and Lindelöf's theorem
• Locating the range of an operator with an adjoint
• Unique existence, approximate solutions, and countable choice.
• Apartness spaces as a framework for constructive topology
• A Constructive Uniform Continuity Theorem
• Continuity and nondiscontinuity in constructive mathematics
• Continuity properties in constructive mathematics
• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
• Sequentially continuous linear mappings in constructive analysis
• A constructive look at the completeness of the space (ℝ)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strong continuity implies uniform sequential continuity