単純さの階層
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/05/15 10:26 UTC 版)
超現実数を、単純さ (simplicity) を先祖 (ancestor) のラベルに持つ極大二分擬木 (pseudo-tree) およびその順序関係によって構成する方法は Philip Ehrlich (2012) による。通常の木の定義と異なるのは、各頂点の先祖は整列集合を成すが、極大元(直前の先祖)は持たないかもしれないことである。すなわち、先祖集合の順序型は自然数だけではなく一般順序数となりうる。この構成もまたアリングの公理系を満足し、符号列表現に容易に引き写せる。
※この「単純さの階層」の解説は、「超現実数」の解説の一部です。
「単純さの階層」を含む「超現実数」の記事については、「超現実数」の概要を参照ください。
- 単純さの階層のページへのリンク