Random triples
| Subject | Object |
|---|---|
| gptkb:the_ring_of_polynomials_in_two_variables_K[x,y] | if K is uncountable |
| gptkb:continuum_(set_theory) | true |
| gptkb:ZFC_set_theory | in other models |
| gptkb:ring_of_p-adic_integers | true |
| gptkb:Real_numbers_under_addition | true |
| gptkb:p-adic_integers | true |
| gptkb:strongly_compact_cardinal | true |
| gptkb:Positive_Real_Numbers | true |
| gptkb:real_line_R | true |
| gptkb:Cantor_space | true |
| gptkb:symmetric_group_S8 | false |
| gptkb:Ramsey_cardinal | true |