![](/img/cover-not-exists.png)
An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions
Arai, ToshiyasuVolume:
8
Language:
english
Journal:
Tsukuba Journal of Mathematics
DOI:
10.21099/tkbjm/1496160038
Date:
December, 1984
File:
PDF, 651 KB
english, 1984