scientific article; zbMATH DE number 3993582

MaRDI QIDQ4722071zbMATH OpenFDO

Authors Mariko Yasugi

Publication date 1986

zbMATH Keywords

accessible setshyper- principleintuitionistic analysismodulus of finitenessordinal diagramsproof theory

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

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

Cited in

(6)

• An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions
• A two-storied universe of transfinite mechanisms
• A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\)
• scientific article; zbMATH DE number 3871343 (Why is no real title available?)
• scientific article; zbMATH DE number 4029552 (Why is no real title available?)
• scientific article; zbMATH DE number 4049637 (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 Q4722071)