Processing math: 100%

We have the following indirect implication of form equivalence classes:

181 353
given by the following sequence of implications, with a reference to its direct proof:

Implication Reference
181 8 clear
8 353 Disasters in metric topology without choice, Keremedis, K. 2002, Comment. Math. Univ. Carolinae

Here are the links and statements of the form equivalence classes referenced above:

Howard-Rubin Number Statement
181:

C(20,): Every set X of non-empty sets such that |X|=20 has a choice function.

8:

C(0,):

353:

A countable product of first countable spaces is first countable.

Comment:

Back