[FOM] Shinichi Mochizuki on set-theoretical/foundational issues

[MartDowd at aol.com]

Dr. Solovay:
 
Let p be tie projection map onto, say, the first component.  For any  x\in 
V, P^-1(x) is a fiber, which is isomorphic to V as a structure for the  
lnguage of set theory.  See
 http://en.wikipedia.org/wiki/Fiber_(mathematics)
 
- Martin Dowd
 
 
In a message dated 5/27/2013 1:15:48 P.M. Pacific Daylight Time,  
solovay at gmail.com writes:

Can you explain "fibres of V \times  V"?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130528/f3090114/attachment.html>