×

Infinite arithmetic formulas and the reflection principle. (English. Russian original) Zbl 0937.03066

Algebra Logika 36, No. 3, 245-258 (1997); translation in Algebra Logic 36, No. 3, 147-154 (1997).
Summary: An extension of the language of arithmetic is constructed such that it allows us to work with recursive sequences of arithmetic formulas as if they were single formulas. It is proven that Feferman’s reflection principles are inferable in the extension obtained.

MSC:

03F30 First-order arithmetic and fragments
PDFBibTeX XMLCite