Pages that link to "Item:Q3305552"

The following pages link to Lindenbaum’s Lemma via Open Induction (Q3305552):

Displaying 6 items.

• A universal Krull-Lindenbaum theorem (Q273003) (← links)
• Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
• The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
• The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)