scientific article; zbMATH DE number 2037780

MaRDI QIDQ4447153zbMATH OpenFDO

Authors Mihail Cherciu

Publication date 3 February 2004

zbMATH Keywords

recursionstructural inductionwell-founded relation

Mathematics Subject Classification ID

Inductive definability (03D70) Other classical set theory (including functions, relations, and set algebra) (03E20) Partial orders, general (06A06)

Recommendations

• scientific article; zbMATH DE number 1752463
• Recursive definitions and fixed-points on well-founded structures
• scientific article; zbMATH DE number 4043253
• Negative Results on the Reduction of the Recursion Scheme
• scientific article; zbMATH DE number 3928338

Cited in

(17)

• Monotone inductive definitions in a constructive theory of functions and classes
• The definition of Extended ML: A gentle introduction
• Generalizing Montague's theorem on recursive definitions
• scientific article; zbMATH DE number 4199615 (Why is no real title available?)
• Monotone Relations, Fixed Points and Recursive Definitions
• scientific article; zbMATH DE number 3896271 (Why is no real title available?)
• scientific article; zbMATH DE number 4043253 (Why is no real title available?)
• scientific article; zbMATH DE number 4099283 (Why is no real title available?)
• scientific article; zbMATH DE number 1524334 (Why is no real title available?)
• scientific article; zbMATH DE number 1752463 (Why is no real title available?)
• Definition of flat poset and existence theorems for recursive call
• scientific article; zbMATH DE number 4115928 (Why is no real title available?)
• A note on recursive functions
• A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
• Recursive definitions and fixed-points
• Recursion, induction and well-founded orders
• Recursive definitions and fixed-points on well-founded structures

This page was built for publication:

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