A countable FOL theory with an infinite model has a model of every infinite cardinality. Sources the 'Skolem paradox' and undermines categoricity for FOL.
A countable FOL theory with an infinite model has a model of every infinite cardinality. Sources the 'Skolem paradox' and undermines categoricity for FOL.