3,147 followers
Admissible Representations in Computable Analysis https://t.co/Kle8rBI3as
Admissible Representations in Computable Analysis https://t.co/Kle8rBI3as
RT @xcycl: What...? https://t.co/we9XxNzqYz
What...? https://t.co/we9XxNzqYz
今日はこれを読んでいた.J.Berger, "The Logical Strength of the Uniform Continuity Theorem", 2006. https://t.co/8N9iOIqq85