%0 Journal Article
%A L. D. Beklemishev
%T Reflection principles and provability algebras in~formal arithmetic
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2005
%P 197-268
%V 60
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_2005_60_2_a0/
%G en
%F RM_2005_60_2_a0