Pages that link to "Item:Q5363372"

The following pages link to ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372):

Displaying 20 items.

• Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322) (← links)
• The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
• A note on connected reduced rings (Q2074409) (← links)
• Maximal ideals in countable rings, constructively (Q2104249) (← links)
• The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
• Cut elimination for entailment relations (Q2312091) (← links)
• Lattice-ordered groups generated by an ordered group and regular systems of ideals (Q2326029) (← links)
• A universal algorithm for Krull's theorem (Q2672666) (← links)
• Radical theory of Scott-open filters (Q2682912) (← links)
• Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
• Constructive Proofs of Negated Statements (Q3305626) (← links)
• (Q4553278) (← links)
• Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
• The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
• Ordering groups constructively (Q5238136) (← links)
• A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)