scientific article; zbMATH DE number 6273918

zbMATH Open1294.03035MaRDI QIDQ5403201FDOQ5403201

Author name not available (Why is that?), Carlos Mario Parra-Londoño

Publication date: 25 March 2014

Title of this publication is not available (Why is that?)

zbMATH Keywords

recursioninductionwell-founded order

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Axiomatics of classical set theory and its fragments (03E30)

Cited In (8)

• Title not available (Why is that?)
• Induction using term orders
• Induction-recursion and initial algebras.
• Elementary descent recursion and proof theory
• Intuitionistically provable recursive well-orderings
• On equivalents of well-foundedness. An experiment in MIZAR
• KBOs, ordinals, subrecursive hierarchies and all that
• Computer Aided Systems Theory – EUROCAST 2005

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 Q5403201)