履歴
タイトル
Subclasses of the weakly computable reals
種類
Tokyo model theory seminar
2022年10月26日
ダウンロード
実閉体を成す弱計算可能実数の部分族
弱計算可能実数の部分族
履歴
2022年6月9日 スライドアップロード
タイトル
弱計算可能実数の部分族
種類
International conference on computability, complexity and randomness 2022
ダウンロード
CCR