Mints, G. E. Transfinite expansions of arithmetic formulas. (Russian) Zbl 0319.02026 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 49, 51-66 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 ReviewsCited in 1 Document MSC: 03F99 Proof theory and constructive mathematics Citations:Zbl 0312.02028; Zbl 0147.24703 PDF BibTeX XML Cite \textit{G. E. Mints}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 49, 51--66 (1975; Zbl 0319.02026) Full Text: EuDML OpenURL