Statement:
\({\cal P}(\Bbb R)\) is well orderable.
Howard_Rubin_Number:
130
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:
Brunner-1984f: Realisierung und Auswahlaxiom
Book references
Note connections:
The following forms are listed as conclusions of this form class in rfb1:
99,
171,
76,
210,
253,
324,
304,
18,
125,
53,
69,
46-K,
47-n,
84,
92,
96,
98,
103,
118,
124,
126,
127,
128,
130,
146,
147,
152,
154,
155,
156,
163,
164,
243,
190,
173,
177,
236,
198,
200,
216,
217,
221,
235,
237,
240,
241,
249,
267,
285,
293,
290,
291,
322,
323,
330,
349,
350,
358,
356,
357,
382,
390,
244,
119,
151,
157,
106,
131,
238,
294,
337,
314,
79,
97,
183-alpha,
59-le,
136-k,
220-p,
288-n,
342-n,
308-p,
373-n,
Back