The following pages link to Predicativity and Feferman (Q5214793):
Displaying 12 items.
- Predicativity and constructive mathematics (Q2080590) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- A Peculiar Connection Between the Axiom of Choice and Predicting the Future (Q3505009) (← links)
- A remark on failures of conglomerability of prevision (Q4733164) (← links)
- (Q4793027) (← links)
- (Q4946664) (← links)
- The Limits of Predicativity Revisited (Q5013901) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- PREDICATIVISM AS A FORM OF POTENTIALISM (Q5880421) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)
- The logic of separation logic: models and proofs (Q6541164) (← links)