az ultraszorzatos konstrukcióval pedig omega_M számossága jelentősen növelhető.

Így van.

Emlékeztetlek, hogy N_M-hez nem kell omega: bármilyen belülről megszámlálható alaphalmazon tudod a típus elemeit (a műveleteket) interpretálni, a számokat definiálni.

Egy M-ben sok N_M van! (Lehet, hogy izomorfak, ezt Te mondtad, biztos így is van.)