scientific article; zbMATH DE number 4029552

MaRDI QIDQ3770526zbMATH OpenFDO

Authors Mariko Yasugi

Publication date 1986

zbMATH Keywords

accessibilityconstructivityfunctional interpretationhigher type logichyper-principleordinal diagrams

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3993582
• scientific article; zbMATH DE number 3871343
• A new system of proof-theoretic ordinal functions
• An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions
• scientific article; zbMATH DE number 1390279

Cited in

(7)

• An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions
• A new system of proof-theoretic ordinal functions
• The machinery of consistency proofs
• ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
• scientific article; zbMATH DE number 3871343 (Why is no real title available?)
• scientific article; zbMATH DE number 4010517 (Why is no real title available?)
• scientific article; zbMATH DE number 3993582 (Why is no real title available?)

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