Sequential Continuity of Functions in Constructive Analysis

DOI10.1002/(SICI)1521-3870(200001)46:1%3C139::AID-MALQ139%3E3.0.CO;2-BMaRDI QIDQ4939410zbMATH OpenOpenAlexFDO

Authors Douglas Bridges, Ayan Mahalanobis

Publication date 23 February 2000

Full work available at URL https://doi.org/10.1002/(sici)1521-3870(200001)46:1%3C139::aid-malq139%3E3.0.co;2-b

zbMATH Keywords

constructive analysissequential continuity

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• scientific article; zbMATH DE number 1665440
• On sequentially continuous functions
• Sequentially continuous linear mappings in constructive analysis
• scientific article; zbMATH DE number 1543074
• scientific article; zbMATH DE number 4011409
• scientific article; zbMATH DE number 3090158
• scientific article; zbMATH DE number 1818153
• STRONGLY SEQUENTIALLY CONTINUOUS FUNCTIONS
• On a continuity theorem for constructive functions
• Sequence spaces of continuous functions

Cited in

(12)

• Unique existence, approximate solutions, and countable choice.
• Increasing, nondecreasing, and virtually continuous functions
• A logical analysis of the generalized Banach contractions principle
• scientific article; zbMATH DE number 3931011 (Why is no real title available?)
• Sequentially continuous linear mappings in constructive analysis
• Sequential, pointwise, and uniform continuity: A constructive note
• Bounded variation implies regulated: a constructive proof
• A Constructive Look at Functions of Bounded Variation
• scientific article; zbMATH DE number 1543074 (Why is no real title available?)
• scientific article; zbMATH DE number 1795219 (Why is no real title available?)
• scientific article; zbMATH DE number 3090158 (Why is no real title available?)
• Glueing continuous functions constructively

This page was built for publication: Sequential Continuity of Functions in Constructive Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4939410)