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