Implications

• Implications Home
• Code 1 Implications
• Code 2 Implications
• Code 3 Implications
• Code 4 Implications
• Code 5 Implications
• Code 6 Implications
• Complete List
• Search

We have the following indirect implication of form equivalence classes:

110 \(\Rightarrow\) 111 given by the following sequence of implications, with a reference to its direct proof:

Implication	Reference
110 \(\Rightarrow\) 111	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
110:	Every vector space over \(\Bbb Q\) has a basis.
111:	\(UT(WO,2,WO)\): The union of an infinite well ordered set of 2-element sets is an infinite well ordered set.

Comment: