Proving open properties by induction
From MaRDI portal
Publication:1112816
DOI10.1016/0020-0190(88)90126-3zbMath0661.04002MaRDI QIDQ1112816
Publication date: 1988
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(88)90126-3
Related Items
Syntax for Semantics: Krull’s Maximal Ideal Theorem, The Jacobson radical for an inconsistency predicate, ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION, Constructing Gröbner bases for Noetherian rings, A universal Krull-Lindenbaum theorem, The equivalence of bar recursion and open recursion, An induction principle over real numbers, Coq formalization of the higher-order recursive path ordering, Eliminating disjunctions by disjunction elimination, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, The computational significance of Hausdorff's maximal chain principle, On induction principles for partial orders, Programs from proofs using classical dependent choice, A universal algorithm for Krull's theorem, Certified Kruskal’s Tree Theorem, Well Quasi-orders and the Functional Interpretation, A Mechanized Proof of Higman’s Lemma by Open Induction, Lindenbaum’s Lemma via Open Induction, On the Constructive and Computational Content of Abstract Mathematics, Decision procedure of some relevant logics: a constructive perspective
Uses Software
Cites Work