A Relation-Algebraic Treatment of the Dedekind Recursion Theorem

DOI10.1007/978-3-030-43520-2_2MaRDI QIDQ5098710zbMATH OpenOpenAlexFDO

Authors Rudolf Berghammer

Publication date 30 August 2022

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-43520-2_2

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Set theory for verification. II: Induction and recursion
• Reasoning algebraically about recursion
• scientific article; zbMATH DE number 1752463
• scientific article; zbMATH DE number 2037780
• A calculational approach to mathematical induction

Cites work

• scientific article; zbMATH DE number 44976 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• A formally verified proof of the prime number theorem
• A lattice-theoretical fixpoint theorem and its applications
• Die Definition durch vollständige Induktion
• Fixed-point calculus
• Karl Grandjot and Dedekind's recursion theorem
• Mathematik für die Informatik
• On the calculus of relations
• Relation algebras
• Relational algebraic semantics of deterministic and nondeterministic programs
• Zahlen

Cited in

(7)

• An extension of the nondiamond theorem in classical and α-recursion theory
• Recursion relations for double ramification hierarchies
• Some acyclic relations in the lambda algebra
• From recursions to asymptotics: Durfee and dilogarithmic deductions
• Relation-algebraic verification of disjoint-set forests
• scientific article; zbMATH DE number 1696553 (Why is no real title available?)
• A generalization of Pincherle's theorem to \(k\)-term recursion relations

This page was built for publication: A Relation-Algebraic Treatment of the Dedekind Recursion Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5098710)