https://www.researchgate.net/publication/352165875_gonglidejihelunrumen レーヴェンハイム・スコーレムの定理とモストウスキー同型定理の定式化が終了しました。 やはり、BGE が ZFC の保存拡大になっていることの有限の立場での証明に必要となります。

https://www.researchgate.net/publication/352165875_gonglidejihelunrumen ZF に於ける反映の原理 (reflection principle) の証明を書きました. この反映の原理は, BGE が ZFC の保存拡大になっている証明にも必要とされます.