喻良:Some more results on relativized Chaitin's Ω.
主讲人：喻良（南京大学）摘要：We prove that, assuming ZF and restricted to any pointed set P, Chaitin's ΩU is not injective for any universal prefix-free Turing machine U, and that ΩU x fails to be degree invariant in a very strong sense, answering several recent questions in descriptive set theory.
Institute of Advanced Study of Mathematics of HIT
弹幕列表
弹幕列表
屏蔽设定
高级弹幕
弹幕列表填充中...
逻辑学专题研讨会
（4/11）
自动连播
3870播放
简介
订阅合集
丁龙云：On equivalence relations induced by Polish groups
42:39
高速：Countable Borel Equivalence Relations and Forcing
47:21
吴刘臻：Continuum function and strongly compact cardinal
43:14
喻良:Some more results on relativized Chaitin's Ω.
37:12
刘路：Proof strength of variable word theorems
43:25
David Schrittesser：A Taste of Statistical Decision Theory.
45:06
申国桢：A surjection from square onto power
46:35
何家亮：Structure of summable tall ideal under Katetov order
46:39
宋诗畅：Applications of nonstandard analysis to graphon theory
38:57
冯琦：On a first order theory approximating theoretic economics
59:04
彭银河：L field and L topological vector space
41:49
顶部