All Questions
1 question
7
votes
2
answers
708
views
On a theorem of Zhang Jinwen about models of arithmetic
In the paper ''A Nonstandard Model of Arithmetic Constructed by means of Forcing Method'', Zhang Jinwen states the following in his abstract:
The first nonstandard model of arithmetic was given by ...
- 32.2k