Hypothesis: HR 191:

\(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\).

Conclusion: HR 240:

If a group \(G\) satisfies "every ascending chain of subgroups is finite", then every subgroup of \(G\) is finitely generated.

List of models where hypothesis is true and the conclusion is false:

Name Statement
\(\cal N32\) Hickman's Model III This is a variation of \(\cal N1\)

Code: 5

Comments:


Edit | Back