Pages that link to "Item:Q2080590"
From MaRDI portal
The following pages link to Predicativity and constructive mathematics (Q2080590):
Displaying 7 items.
- Challenges to predicative foundations of arithmetic (Q2755496) (← links)
- A Predicative Approach to Nonstandard Mathematics (Q3737424) (← links)
- (Q4934569) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- (Q5575533) (← links)
- Dunn's relevant predication, real properties and identity (Q5947113) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)