日本語
Sign in
AI tools
トップQs
タイムライン
チャット
Loading AI tools
すべて
記事
辞書
引用
地図
Boris Tsirelson
ウィキペディアから
Found in articles
定義可能実数
Logic 78 (1): 139–156, arXiv:1105.4597, doi:10.2178/jsl.7801090 ^ a b
Tsirelson
,
Boris
(2020), “Can each number be specified by a finite text?”, WikiJournal