[FOM] The Minimal Model of ZF
hendrik@topoi.pooq.com
hendrik at topoi.pooq.com
Thu Jan 24 09:19:48 EST 2008
On Tue, Jan 22, 2008 at 09:52:13PM -0500, Steven Gubkin wrote:
>
> p.s. I have not written about set theory very often, and I found it
> very difficult to express what I was trying to say. If anyone has any
> questions, or suggestions about how to better phrase things, it would
> help me alot.
Is there convenient natural language to talk about statements that
are true or false internally and externally to a model? to multiple
models?
-- hendrik
More information about the FOM
mailing list