FOM: V=L and large sets

[Kanovei]

>Date: Fri, 28 Apr 2000 08:58:10
>To: fom at math.psu.edu
>From: Colin McLarty <cxm7 at po.cwru.edu>
>Subject: FOM: V=L and large sets

>I believe you can say in ZFC: "o is an ordinal and the set
>V(o) has a forcing extension which models ZFC+(there is a measurable)" 

This you can say (you have just said it by an entirely 
legitimate sentence in the language of ZFC), but perhaps 
this is not what you are looking for. Indeed L does not 
have any generic extension with measurable cardinals, 
even if some o in L *is* a measurable cardinal in a 
(necessarily non-generic) extension of L. 

V.Kanovei