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
| |
dbo:wikiPageLength
|
- 7665 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
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 | |