Rudolph F. Some consistency strength analyses using higher core models : Diss. / F.Rudolph, 2000. - 105 p. - Текст : непосредственный.