Re: [isabelle] Sets



Hidetsune,

On Friday 10 March 2006 03:51, Kobayashi, Hidetsune wrote:
>   Let A be a set (A :: 'a set), then is there a
> set (B :: 'b set) which is isomorphic to A?

this depends on A, 'a and 'b.  It is not true in general.  For example, take 
'a to be int, A to be UNIV, and 'b to be bool.

Best,
Tjark





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.