アロンシャイン木
( א 1 {\displaystyle \aleph _{1}} -)アロンシャイン木が特殊であるとは、木から有理数全体の集合への関数fで「x<yならばf(x)<f(y)」となるfが存在することをいう。
マーティンの公理MA( א 1 {\displaystyle \aleph _{1}} )からは全てのアロンシャイン木が特殊であることが導かれる。 一方、特殊でないアロンシャイン木が存在することは無矛盾であり、GCH+SHとも無矛盾である。(Schlindwein 1994).