The following pages link to UNFOLDING FINITIST ARITHMETIC (Q3066785):
Displaying 7 items.
- Reflecting and unfolding (Q2094161) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Predicativity and Feferman (Q5214793) (← links)
