RUS  ENG
Full version
SEMINARS

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
April 29, 2014 18:30, Moscow, Steklov Mathematical Institute


About the relation between Church Thesis and Uniformity Principle in Intuitionistic Set Theory

V. Kh. Khakhanyan


© Steklov Math. Inst. of RAS, 2024