Ведутся технические работы. Это может временно повлиять на скорость работы сайта. Приносим извинения за неудобства и благодарим за ваше понимание!

F. N. Pakhomov. Iterated ω-model reflection and Π12 proof-theoretic analysis