О соотношении тезиса Чёрча и принципа униформизации в теории множеств с интуиционистской логикой

В 1936 г. Алонзо Чёрч высказал неформальную гипотезу о классе эффективно вычислимых функций, а в 1973 г. А.Трулстра (A.S.Troelstra) ввёл в рассмотрение так называемый принцип униформизации. В докладе будут рассмотрены формальные версии этих утверждений и приведены полученные результаты о соотношении разных вариантов этих принципов на уровне теорий множеств с интуиционистской логикой.