Pages that link to "Item:Q1112816"

The following pages link to Proving open properties by induction (Q1112816):

Displaying 21 items.

• A universal Krull-Lindenbaum theorem (Q273003) (← links)
• The equivalence of bar recursion and open recursion (Q400424) (← links)
• An induction principle over real numbers (Q512134) (← links)
• Some new double induction and superinduction principles (Q751653) (← links)
• Coq formalization of the higher-order recursive path ordering (Q843949) (← links)
• Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• The computational significance of Hausdorff's maximal chain principle (Q2106609) (← links)
• On induction principles for partial orders (Q2169127) (← links)
• Programs from proofs using classical dependent choice (Q2482844) (← links)
• A universal algorithm for Krull's theorem (Q2672666) (← links)
• Certified Kruskal’s Tree Theorem (Q2938047) (← links)
• Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
• A Mechanized Proof of Higman’s Lemma by Open Induction (Q3295156) (← links)
• Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
• On the Constructive and Computational Content of Abstract Mathematics (Q3305627) (← links)
• Decision procedure of some relevant logics: a constructive perspective (Q3647218) (← links)
• Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
• The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
• Constructing Gröbner bases for Noetherian rings (Q5740356) (← links)