2023-07-08から1日間の記事一覧
【補題】整式の集合$\Sigma_1,\Sigma_2$について、(A)「$\Sigma_1\vDash\sigma$ならば$\Sigma_2\vDash\sigma$」と(B)「$\Sigma_1\ni\sigma$ならば$\Sigma_2\vDash\sigma$」とは同値である。(証明)$\Sigma_1\vDash\sigma$は$\Sigma_1\ni\sigma$よりも弱い仮…
【補題】整式の集合$\Sigma_1,\Sigma_2$について、(A)「$\Sigma_1\vDash\sigma$ならば$\Sigma_2\vDash\sigma$」と(B)「$\Sigma_1\ni\sigma$ならば$\Sigma_2\vDash\sigma$」とは同値である。(証明)$\Sigma_1\vDash\sigma$は$\Sigma_1\ni\sigma$よりも弱い仮…