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