%0 Journal Article %A F. N. Pakhomov %T On elementary theories of ordinal notation systems based on reflection principles %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 2015 %P 206-226 %V 289 %I mathdoc %U http://geodesic.mathdoc.fr/item/TM_2015_289_a11/ %G ru %F TM_2015_289_a11