Question

これが悪い翻訳である場合は申し訳ありませんが、私はGoogle翻訳を使用しています。 14ページのここにには、「O(2;ω)」などと呼ばれる順序図のシステムが記載されています。これらのシステムはどのように定義されていますか? C7X (トーク) 2021年1月8日 (金) 06:52 (UTC)

Japanese: 恐らく竹内先生の順序数図形だと思います。竹内先生の"Proof Theory: Second Edition"のpp.303 -- 307に定義が載っており、長くて一言で説明できません。
English: Perhaps it is the ordinal diagram by Professor Takeuchi. The definition is written in pp. 303 -- 307 in "Proof Theory: Second Edition" by Professor Takeuchi, and is too long to explain shortly.
p-adic 2021年1月8日 (金) 07:14 (UTC)
Japanese: 新井先生の \(O(\alpha;\beta)\) と竹内の \(O(\alpha;\beta)\) は異なります。新井先生の順序数図形の定義は私も知りません。恐らく出版されていないです。
English: Arai's ordinal diagram \(O(\alpha;\beta)\) is different from Takeuti's one. I don't know where Arai's ordinal diagram is defined. Perhaps, it is defined in Arai's unpublished papers.
Alwe 2021年1月8日 (金) 07:52 (UTC)
Japanese: ウーップス
English: Oops
p-adic 2021年1月8日 (金) 07:58 (UTC)
定義を見つけましたが、まったく理解できません [1] (p.14) C7X (トーク) 2021年2月9日 (火) 00:25 (UTC)
Japanese: どのページに書いてあるか教えていただけますか?(少なくとも1ページ目の記述は概要であって定義ではないですね)
English: Could you tell me an exact page, as I am too lazy to check every page. (At least, the description in the first page is just an outline, and is not a definition.)
p-adic 2021年2月9日 (火) 00:40 (UTC)
14ページの下部 C7X (トーク) 2021年2月9日 (火) 01:53 (UTC)
Japanese: サンキュー。
English: Thank you.
p-adic 2021年2月9日 (火) 06:09 (UTC)
これ定義のアイデアしか書かれていなくないですか。以下のようにo.d.の定義はもっと長くなります。
https://link.springer.com/article/10.1007/s001530050153
Alwe 2021年2月10日 (火) 07:51 (UTC)

日本語の文献の情報

そういえば、共有し忘れていたんですが、八杉満利子さんの "Ordinal Diagram について" が日本語のネット上オープンアクセスの文献としては順序数図形の定義と実例まで書いてある唯一の例でないかと思います。--Hexirp (トーク) 2021年2月9日 (火) 02:05 (UTC)

特に記載のない限り、コミュニティのコンテンツはCC-BY-SA ライセンスの下で利用可能です。