SUMIRE Sign in

Latest text · All public versions

Free rieg elements as games

hora · v1

Public version recorded:

A newer public version is available.

Trigger

旧HP Problems 7.0.1(theme: Riegs)から移住する公開問題。created は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。

Idea

Let F1F_1 be the free rieg generated by one element xx. Can elements of F1F_1 be interpreted as a kind of combinatorial game?

If so, can the morphism F1→NF_1\to\mathbb{N} sending xx to 00 be interpreted in terms of games?

Goal

free rieg F1F_1 の元をcombinatorial gameとして解釈できるか、また x↦0x\mapsto0 で定まる射 F1→NF_1\to\mathbb N にゲームとしての解釈があるかを明らかにする。

Personal context

旧タグはfree rieg、combinatorial game、natural numbers。recursive coalgebraとしてのgamesを扱う既存瓶とは別の問いとして保持する。旧一覧以後の進展は未確認であり、棚卸し待ちとして status: dormant とする。

References

Provenance

Cite this version

BibTeX

@misc{sumire:2609.00007:3:v1,
  author = {hora},
  title = {{Free rieg elements as games}},
  year = {2026},
  note = {SUMIRE:2609.00007/3, v1},
  url = {https://sumire.aiformath.jp/p/2609.00007/n/3/v/1}
}