Ehrenfeucht-Mostowski model
= Ehrenfeucht-Mostowski model
{c}
{wiki}
An Ehrenfeucht-Mostowski model is generated, often as a Skolem hull, by a sequence of order indiscernibles whose finite order types determine their types.
= Ehrenfeucht-Mostowski model
{c}
{wiki}
An Ehrenfeucht-Mostowski model is generated, often as a Skolem hull, by a sequence of order indiscernibles whose finite order types determine their types.