An accessibility proof of ordinal diagrams
スポンサーリンク
概要
著者
-
YASUGI Mariko
Institute of Information Science University of Tsukuba
-
TAKEUTI Gaisi
Department of Mathematics University of Illinois
-
Takeuti Gaisi
Department Of Mathematics Tokyo University Of Education
関連論文
- Groundedness property and accessibility of ordinal diagrams
- An accessibility proof of ordinal diagrams
- Hyper-principle and the functional structure of ordinal diagrams(Logic and the Foundations of Mathematics)
- On the Formal Theory of the Ordinal Diagrams