2021-05-31から1日間の記事一覧
$\newcommand{\angle}[1]{{\left\langle{#1}\right\rangle}}$ $\newcommand{\card}[1]{{\left|{#1}\right|}}$ 補題 $\angle{a, \prec}$を整列集合とする。 $f : \gamma \to a \text{は順序同型写像}$とする。 $\all a_0 \subseteq a \; \exi \gamma_0 \;\; f…
$\newcommand{\angle}[1]{{\left\langle{#1}\right\rangle}}$ $\newcommand{\card}[1]{{\left|{#1}\right|}}$ 補題 $\angle{a, \prec}$を整列集合とする。 $f : \gamma \to a \text{は順序同型写像}$とする。 $\all a_0 \subseteq a \; \exi \gamma_0 \;\; f…