this is my current research notebook in blog form. entries are often at a stream-of-consciousness level but sometimes at a higher level of coherence.
Friday, February 25, 2011
??so what about whether "nonstandard analysis" (or something...) can be thought of as "forcing with discrete poset of forcing conditions" ?? ... or something ... ?? ??also whether this is essentially what lawvere says ... ???....
No comments:
Post a Comment