Description:
Form 39 does not imply Form 43
Content:
The fact that Form 39 does not imply Form 43 follows from the theorem
of Jensen mentioned in Mathias [1979] p. 123 and proved in
Felgner [1971a]?
If \(\alpha\) is an infinite cardinal in a
countable standard model \(M\) of \(ZF + V = L\) then \(M\)can be extended to
an model \(N\) of \(ZF\) with the same ordinals and (well ordered) cardinals as
\(M\) in which \(C(\alpha,\infty)\) (Form 39) is true and \(DC(\omega)\) ( Form 43) is false.
Howard-Rubin number:
13
Type:
Statement of equivalency
Back