Pages that link to "Item:Q1433041"
From MaRDI portal
The following pages link to Ishihara's proof technique in constructive analysis (Q1433041):
Displaying 8 items.
- Realizability models refuting Ishihara's boundedness principle (Q714714) (← links)
- Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics (Q2869900) (← links)
- Continuity properties of preference relations (Q3528140) (← links)
- Continuity Properties of Preference Relations (Q4918026) (← links)
- Bishop's Lemma (Q5109210) (← links)
- Specker sequences revisited (Q5693602) (← links)
- Types for Proofs and Programs (Q5712322) (← links)
- Constructive closed range and open mapping theorems (Q5951541) (← links)