>Is it known whether CH is independent of 2nd-order validity? Known, yes. Independent, no. I'm sure this is written down somewhere, but where? --Herb Enderton hbe at math.ucla.edu