A two-storied universe of transfinite mechanisms

DOI10.21099/TKBJM/1496160638zbMath0675.03036OpenAlexW269182088MaRDI QIDQ1121881

Mariko Yasugi

Publication date: 1988

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496160638

zbMATH Keywords

functions of ordinal diagramsgeneral theory of typeshyper-principleTransfinitely often iterated inductive definitionstwo-storied universe of transfinite mechanisms

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Recursive ordinals and ordinal notations (03F15)

Related Items (1)

The machinery of consistency proofs

This page was built for publication: A two-storied universe of transfinite mechanisms