2016-07-29から1日間の記事一覧
\(\mathfrak{A}\)を語彙\(\mathcal{L}\)に対する構造とし、その台集合を\(A\)とする。\(\mathcal{L}\)の項\(\tau\)に対し、「\(\tau\)に対する\(A\)への任意の割り当て\(\sigma',\sigma\)について、\(\sigma'\upharpoonright V(\tau)=\sigma\upharpoonright …
\(\mathfrak{A}\)を語彙\(\mathcal{L}\)に対する構造とし、その台集合を\(A\)とする。\(\mathcal{L}\)の項\(\tau\)に対し、「\(\tau\)に対する\(A\)への任意の割り当て\(\sigma',\sigma\)について、\(\sigma'\upharpoonright V(\tau)=\sigma\upharpoonright …