A NORMAL FORM FOR ARITHMETICAL DERIVATIONS IMPLYING THE ω-CONSISTENCY OF ARITHMETIC
Autor: | Ikeda, Kazuma |
---|---|
Zdroj: | Tsukuba Journal of Mathematics, 1997 Oct 01. 21(2), 285-304. |
Databáze: | JSTOR Journals |
Externí odkaz: |
Autor: | Ikeda, Kazuma |
---|---|
Zdroj: | Tsukuba Journal of Mathematics, 1997 Oct 01. 21(2), 285-304. |
Databáze: | JSTOR Journals |
Externí odkaz: |