Pages that link to "Item:Q714714"
From MaRDI portal
The following pages link to Realizability models refuting Ishihara's boundedness principle (Q714714):
Displaying 6 items.
- On Brouwer's continuity principle (Q1788331) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- Principles weaker than BD-N (Q2869905) (← links)
- On the failure of BD-ℕ and BD, and an application to the anti-specker property (Q4916541) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)