Is forcing force on us

[John Baldwin]

Tim Chow wrote:
So my
question is this: is there some weakening of ZF that is

1. not so weak as to be uninteresting, but
2. weak enough that some new (i.e., not forcing) method emerges to
construct nontrivial models?

I reply:
The difficulty in finding a notion of `forcing for arithmetic'  suggests
this is difficult. But one might reverse the question. What is the
distinction between arithmetic and set theory that makes forcing possible?

John T. Baldwin
Professor Emeritus
Department of Mathematics, Statistics,
and Computer Science M/C 249
jbaldwin at uic.edu
851 S. Morgan
Chicago IL
60607
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200821/aafbd3a0/attachment.html>