scientific article; zbMATH DE number 3652333

MaRDI QIDQ3852178zbMATH OpenFDO

Authors Susumu Hayashi

Publication date 1979

zbMATH Keywords

existence propertyfirst order arithmeticHeyting arithmeticnormalization methodstructure of normal derivation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Cited in

(1)

• Choice and independence of premise rules in intuitionistic set theory

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