105 citations · 105 across the 4 of their papers we have counts for
1 paper · 1 filter
Arieh Lev
In this paper we propose an interpretation for self-referential propositions in a "meta-model" N* of ZF. This meta-model N* is considered as an informal model of arithmetic that ma…