scientific article; zbMATH DE number 4029551

zbMATH Open0633.03052MaRDI QIDQ3770525FDOQ3770525

Authors: Mariko Yasugi 

Publication date: 1985

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

zbMATH Keywords

accessibilityconstructivityfunctional interpretationordinal diagramshyper-principlehigher type logic

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Recursive ordinals and ordinal notations (03F15)

Cited In (2)

• Strong normalization theorem for a constructive arithmetic with definition by transfinite recursion and bar induction
• Two applications of analytic functors

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