Strong continuity implies uniform sequential continuity
From MaRDI portal
Publication:2573727
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
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