Pages that link to "Item:Q4075443"

The following pages link to The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations (Q4075443):

Displayed 8 items.

• Realizability models refuting Ishihara's boundedness principle (Q714714) ‎ (← links)
• Effective inseparability in a topological setting (Q1923565) ‎ (← links)
• Strong continuity implies uniform sequential continuity (Q2573727) ‎ (← links)
• Predicate Logics of Constructive Arithmetical Theories (Q3416116) ‎ (← links)
• Continuity and nondiscontinuity in constructive mathematics (Q3984410) ‎ (← links)
• On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) ‎ (← links)
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) ‎ (← links)
• Representations versus numberings: On the relationship of two computability notions (Q5958133) ‎ (← links)