Nov. 27, 2022 • 10:00 - 10:40 | Sunday
Tencent Meeting ID:735 8316 5465 : Password:202211
递归论

Integer-valued martingales are martingales which take values from integers.  A real is called IVR if there is no integer-valued computable martingale succeeds on it. A cl-reduction is a Turing reduction whose use function is bounded by a function $n+c$, where $c$ is a constant. In this talk, we will show some correspondence between them and prove some related facts.


Speakers
  • 方楠(Nan Fang) More

    中国科学院软件研究所(Institute of Software, Chinese Academy of Sciences)

FILTER

View All Programs