Pages that link to "Item:Q3984410"

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

Displaying 40 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)
• A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272) (← 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)
• On a continuity theorem for constructive functions (Q2253862) (← links)
• Constructive notions of equicontinuity (Q2391094) (← links)
• Strong continuity implies uniform sequential continuity (Q2573727) (← links)
• Sequentially continuity in constructive mathematics (Q2752138) (← links)
• Characterising near continuity constructively (Q2765576) (← links)
• Constructively Complete Finite Sets (Q3030826) (← links)
• Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability (Q3159421) (← links)
• Constructive continuity (Q3322336) (← links)
• Indecomposability of R and R \   in Constructive Reverse Mathematics (Q3508163) (← links)
• Continuity properties of preference relations (Q3528140) (← links)
• The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
• (Q3606209) (← links)
• Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics (Q3625493) (← links)
• (Q3693527) (← links)
• Weak‐operator Continuity and the Existence of Adjoints (Q4243911) (← links)
• Weak continuity properties in constructive analysis (Q4255971) (← 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)
• Continuity, Constructibility, and Intuitivity (Q5034378) (← links)
• (Q5101354) (← links)
• Formally continuous functions on Baire space (Q5109223) (← links)
• Connectedness of the continuum in intuitionistic mathematics (Q5109234) (← 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)