scientific article; zbMATH DE number 3811561

zbMATH Open0514.03035MaRDI QIDQ3659778FDOQ3659778

Susumu Hayashi

Publication date: 1982

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

zbMATH Keywords

proof theoryconstructive mathematicsbar inductionderived rulesmetamathematics of constructive systems

Mathematics Subject Classification ID

Structure of proofs (03F07)

Cited In (3)

• Derived rules for predicative set theory: an application of sheaves
• Intuitionistically provable recursive well-orderings
• Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp

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