現代数学の系譜工学物理雑談古典ガロア理論も読む77

現代数学の系譜工学物理雑談古典ガロア理論も読む77at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む77 - 暇つぶし2ch40:se domain has a subset A with no R-minimal element, but this set A is not a "set in the model" (A is not in the domain of the model, even though all of its members are). More precisely, for no such set A there exists x in M such that A = R^-1 [x]. So M satisfies the axiom of regularity (it is "internally" well-founded) but it is not well-founded and the collapse lemma does not apply to it. (引用終り) 以上

次ページ

続きを表示

1を表示