9
votes
Accepted
Is there a constructive version of internal set theory?
As you have proven (by a well-known construction), one cannot expect to have full Transfer in constructive NSA. For different but related reasons, full Standardisation is off the table, though its ...
- 4,359
6
votes
Is there a constructive version of internal set theory?
No
Even though I mentioned allowing for some flexibility in interpreting the question, I think I've ruled out any reasonable interpretation. This answer only relies on bounded transfer and the ...
- 6,353
4
votes
Is there a constructive version of internal set theory?
In Moerdijk, A model for intuitionistic non-standard arithmetic there is a sheaf topos for non standard analysis built within a constructive metatheory. By carrying out the construction internally in ...
- 4,378
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
Only top scored, non community-wiki answers of a minimum length are eligible