The following pages link to (Q5608740):
Displaying 10 items.
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)
