scientific article; zbMATH DE number 3637861

MaRDI QIDQ4198752zbMATH OpenFDO

Authors Susumu Hayashi

Publication date 1977

zbMATH Keywords

normal form theoremintuitionistic second order arithmeticconservative rulebar induction rulecontinuity ruleextended Church's rulefan ruleMarkov's ruleprovable functiontransfinite induction rule

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Cited in

(2)

• Arithmetic transfinite induction and recursive well-orderings
• Logic of refinement types

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