scientific article; zbMATH DE number 3811561

MaRDI QIDQ3659778zbMATH OpenFDO

Authors Susumu Hayashi

Publication date 1982

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)