An interpretation of intuitionistic analysis with restricted transfinite inductive definitions

DOI10.21099/TKBJM/1496160832zbMath0675.03037OpenAlexW1691232567MaRDI QIDQ1121882

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/1496160832

zbMATH Keywords

intuitionistic analysisbar inductionmr-translationsuccessive inductive definitions

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (1)

The machinery of consistency proofs

This page was built for publication: An interpretation of intuitionistic analysis with restricted transfinite inductive definitions