New answers tagged internal-set-theory
2
votes
Finitistic interpretation of Nelson's internal set theory
Building on work by Benno van den Berg et al, the quantifiers $(\forall^{st}x)$ and $(\exists^{st}x)$ can be interpreted as "for all computationally relevant objects $x$" and "there ...
- 4,359
Top 50 recent answers are included