La conjecture de Vaught est une conjecture mathématique proposée par Robert Lawson Vaught dans le champ de la théorie des modèles. Il s’agit de dire que l’ensemble des modèles dénombrables d’une théorie du premier ordre complète dans un langage dénombrable est soit fini, soit dénombrable, soit doté de la puissance du continu. Cette conjecture, malgré certaines avancées, reste un problème ouvert de la théorie des modèles.

Property Value
dbo:abstract
  • La conjecture de Vaught est une conjecture mathématique proposée par Robert Lawson Vaught dans le champ de la théorie des modèles. Il s’agit de dire que l’ensemble des modèles dénombrables d’une théorie du premier ordre complète dans un langage dénombrable est soit fini, soit dénombrable, soit doté de la puissance du continu. Cette conjecture, malgré certaines avancées, reste un problème ouvert de la théorie des modèles. (fr)
  • La conjecture de Vaught est une conjecture mathématique proposée par Robert Lawson Vaught dans le champ de la théorie des modèles. Il s’agit de dire que l’ensemble des modèles dénombrables d’une théorie du premier ordre complète dans un langage dénombrable est soit fini, soit dénombrable, soit doté de la puissance du continu. Cette conjecture, malgré certaines avancées, reste un problème ouvert de la théorie des modèles. (fr)
dbo:creator
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 11390652 (xsd:integer)
dbo:wikiPageLength
  • 7665 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 183373946 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • La conjecture de Vaught est une conjecture mathématique proposée par Robert Lawson Vaught dans le champ de la théorie des modèles. Il s’agit de dire que l’ensemble des modèles dénombrables d’une théorie du premier ordre complète dans un langage dénombrable est soit fini, soit dénombrable, soit doté de la puissance du continu. Cette conjecture, malgré certaines avancées, reste un problème ouvert de la théorie des modèles. (fr)
  • La conjecture de Vaught est une conjecture mathématique proposée par Robert Lawson Vaught dans le champ de la théorie des modèles. Il s’agit de dire que l’ensemble des modèles dénombrables d’une théorie du premier ordre complète dans un langage dénombrable est soit fini, soit dénombrable, soit doté de la puissance du continu. Cette conjecture, malgré certaines avancées, reste un problème ouvert de la théorie des modèles. (fr)
rdfs:label
  • Conjecture de Vaught (fr)
  • Vaught conjecture (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of