Metadata
Author: WikiMatrix
Data
English[en]
The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism.
Dutch[nl]
De stelling impliceert dat eerste-ordetheorieën niet in staat zijn om de kardinaliteit van hun oneindige modellen te controleren en dat geen enkele eerste-ordetheorie met een oneindig model een uniek model (tot op isomorfisme) kan hebben.