Pages that link to "Item:Q5505139"
From MaRDI portal
The following pages link to Intuitionistic notions of boundedness in ℕ (Q5505139):
Displaying 6 items.
- The uniform boundedness theorem and a boundedness principle (Q424547) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- Completeness: when enough is enough (Q2003502) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- The anti-Specker property, positivity, and total boundedness (Q3583807) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)