In mathematical logic, and in particular model theory, a saturated model M is one which realizes as many complete types as may be "reasonably expected" given its size.

PropertyValue
dbpprop:abstract
  • In mathematical logic, and in particular model theory, a saturated model M is one which realizes as many complete types as may be "reasonably expected" given its size.
  • 在模型論中，飽和模型可以大致描述為一個實現夠小的型的模型。
dbpprop:hasPhotoCollection
rdfs:comment
  • In mathematical logic, and in particular model theory, a saturated model M is one which realizes as many complete types as may be "reasonably expected" given its size.
  • 在模型論中，飽和模型可以大致描述為一個實現夠小的型的模型。
rdfs:label
  • Saturated model
  • 飽和模型
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of