Statement:
\(SVC\): There is a set \(S\) such that for every set \(a\), there is an ordinal \(\alpha\) and a function from \(S\times\alpha\) onto \(a\).
Howard_Rubin_Number:
191
Parameter(s):
This form does not depend on parameters
This form's transferability is:
Unknown
This form's negation transferability is:
Unknown
Article Citations:
Book references
Note connections:
The following forms are listed as conclusions of this form class in rfb1:
99,
171,
210,
253,
289,
304,
13,
14,
18,
125,
53,
69,
46-K,
47-n,
84,
96,
98,
103,
118,
124,
127,
128,
182,
144,
146,
155,
156,
163,
243,
189,
173,
177,
236,
198,
200,
216,
217,
221,
235,
237,
240,
241,
249,
267,
285,
293,
290,
291,
299,
300,
329,
330,
349,
340,
341,
350,
358,
356,
357,
369,
382,
389,
390,
244,
65,
119,
157,
106,
131,
238,
294,
314,
97,
183-alpha,
59-le,
136-k,
220-p,
288-n,
342-n,
308-p,
373-n,
Back