transfninitely defined types, Logic, Languages and Computation, Lecture
Download:
|
|
by Masako Washihara, Computability Problem Of Gaussian, Mariko Yasugi, Mariko Yasugi, Takakazu Mori, Yoshiki Tsujii, Effective Properties Of
http://www2.kyoto-su.ac.jp/~yasugi/bib99feb.ps
Add To MetaCart
Abstract:
M.Ito, to appear 4 [30] Mariko Yasugi, Syntactic properties of hypter-terms of transfinitely defined types, J. of Symbolic Logic (Abstracts of papers:Helsinki, 1990), vol.56(1991), 1150 [31] Mariko Yasugi, Yoshiki Tsujii and Takakazu Mori A metatheory of nonstandard
Citations
| 3 | Intuitionistic analysis and Godel's interpretation – Yasugi - 1963 |
| 1 | Interpretations of set theory and ordinal number theory – Yasugi |
| 1 | Cut elimination theorem for the second order arithmetic with the 5 1 -comprehension axiom and the – Yasugi |
| 1 | Some properties of ordinal diagrams – Yasugi |
| 1 | Self-iterating schemes of ordinal diagrams – Yasugi |
| 1 | A formalization of Od – Yasugi |
| 1 | Gentzen reduction revisited – Yasugi |
| 1 | A progression of consistency proofs – Yasugi |
| 1 | Definitive valuation of set theory – Yasugi |
