En logique mathématique, une théorie est dite k-catégorique pour un nombre cardinal k si elle a exactement un modèle de cardinalité k (à isomorphisme près).

Property Value
dbo:abstract
  • En logique mathématique, une théorie est dite k-catégorique pour un nombre cardinal k si elle a exactement un modèle de cardinalité k (à isomorphisme près). (fr)
  • En logique mathématique, une théorie est dite k-catégorique pour un nombre cardinal k si elle a exactement un modèle de cardinalité k (à isomorphisme près). (fr)
dbo:isPartOf
dbo:wikiPageID
  • 5408765 (xsd:integer)
dbo:wikiPageInterLanguageLink
dbo:wikiPageLength
  • 2716 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190390753 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • Dirk van Dalen (fr)
  • Théorie omega-catégorique (fr)
  • Dirk van Dalen (fr)
  • Théorie omega-catégorique (fr)
prop-fr:langue
  • de (fr)
  • en (fr)
  • de (fr)
  • en (fr)
prop-fr:texte
  • ℵ₀-catégoriques (fr)
  • ℵ₀-catégoriques (fr)
prop-fr:trad
  • Omega-categorical theory (fr)
  • Omega-categorical theory (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En logique mathématique, une théorie est dite k-catégorique pour un nombre cardinal k si elle a exactement un modèle de cardinalité k (à isomorphisme près). (fr)
  • En logique mathématique, une théorie est dite k-catégorique pour un nombre cardinal k si elle a exactement un modèle de cardinalité k (à isomorphisme près). (fr)
rdfs:label
  • Kategorizität (de)
  • Morley's categoricity theorem (en)
  • Théorie k-catégorique (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of