Pages that link to "Item:Q3984410"

The following pages link to Continuity and nondiscontinuity in constructive mathematics (Q3984410):

Displaying 24 items.

• Brouwer's weak counterexamples and the creative subject: a critical survey (Q830395) (← links)
• Generalized functions with pseudobounded support in constructive mathematics (Q864428) (← links)
• Constructing local optima on a compact interval (Q868665) (← links)
• Glueing continuous functions constructively (Q982187) (← links)
• Continuity and Lipschitz constants for projections (Q1044668) (← links)
• Markov's principle, Church's thesis and Lindelöf's theorem (Q1315098) (← links)
• Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
• A constructive theory of point-set nearness. (Q1427791) (← links)
• Ishihara's proof technique in constructive analysis (Q1433041) (← links)
• On Brouwer's continuity principle (Q1788331) (← links)
• Apartness spaces as a framework for constructive topology (Q1861535) (← links)
• Completeness: when enough is enough (Q2003502) (← links)
• On the necessity of some topological spaces (Q2104265) (← links)
• Strong continuity implies uniform sequential continuity (Q2573727) (← links)
• Continuity properties of preference relations (Q3528140) (← links)
• The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
• Weak‐operator Continuity and the Existence of Adjoints (Q4243911) (← links)
• A Constructive Analysis of a Proof that the Numerical Range is Convex (Q4504969) (← links)
• Continuity Properties of Preference Relations (Q4918026) (← links)
• Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
• (Q5101354) (← links)
• Variations on a theme by Ishihara (Q5740670) (← links)
• Constructive decidability of classical continuity (Q5740671) (← links)
• The weak-operator sequential continuity of left multiplication (Q5935883) (← links)