scientific article; zbMATH DE number 3637861

zbMATH Open0411.03055MaRDI QIDQ4198752FDOQ4198752

Authors: Susumu Hayashi 

Publication date: 1977

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

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)

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

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)