[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