定义2.1令M为ZFC的可数传递模型，则由M生成的脱殊多宇宙Vm为满足以下条件的最小模型类:
1.M∈VM；
2.如果N∈VM，而N'=N[G]是N的脱殊扩张，则N'∈VM;
3.如果N∈VM，而N=N'[G]是N'的脱殊扩张，则N'∈Vm。
简单说，Vm是包含M并且对脱殊扩张和脱殊收缩封闭的最小模型类。由V生成的脱殊多宇宙记作V。
本章完
本站网站:www.123shuku.com
1.M∈VM；
2.如果N∈VM，而N'=N[G]是N的脱殊扩张，则N'∈VM;
3.如果N∈VM，而N=N'[G]是N'的脱殊扩张，则N'∈Vm。
简单说，Vm是包含M并且对脱殊扩张和脱殊收缩封闭的最小模型类。由V生成的脱殊多宇宙记作V。
本章完
本站网站:www.123shuku.com