Statement:

In \(\Bbb R\), every Borel set is analytic. G. Moore [1982], pp 181 and 325.

Howard_Rubin_Number: 362

Parameter(s): This form does not depend on parameters

This form's transferability is: Transferable

This form's negation transferability is: Negation Transferable

Article Citations:

Book references
Zermelo's Axiom of Choice, Moore, G.H., 1982

Note connections:

The following forms are listed as conclusions of this form class in rfb1:

Back