| Property |
Value |
| dbo:abstract
|
- En mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté L, est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur « la cohérence de l'axiome du choix et de l'hypothèse généralisée du continu ». Il y montrait que cette classe est un (en) de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle. Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente. De nombreux autres théorèmes (comme les résultats d’existence dépendant du lemme de Zorn) n'étant applicables que si on admet l’axiome du choix, sa cohérence est un résultat important. (fr)
- En mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté L, est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur « la cohérence de l'axiome du choix et de l'hypothèse généralisée du continu ». Il y montrait que cette classe est un (en) de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle. Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente. De nombreux autres théorèmes (comme les résultats d’existence dépendant du lemme de Zorn) n'étant applicables que si on admet l’axiome du choix, sa cohérence est un résultat important. (fr)
|
| dbo:isPartOf
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 30031 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1940 (xsd:integer)
- 1971 (xsd:integer)
|
| prop-fr:auteur
|
- Kurt Gödel (fr)
- Ulrich Felgner (fr)
- Kurt Gödel (fr)
- Ulrich Felgner (fr)
|
| prop-fr:collection
|
- Annals of Mathematics Studies (fr)
- Lecture Notes in Mathematics (fr)
- Annals of Mathematics Studies (fr)
- Lecture Notes in Mathematics (fr)
|
| prop-fr:fr
|
- zéro dièse (fr)
- principe de réflexion (fr)
- Cardinal de Mahlo (fr)
- Ensemble héréditairement fini (fr)
- Extension élémentaire (fr)
- Formule absolue (fr)
- Ordinal régulier (fr)
- Théorie hyperarithmétique (fr)
- cardinal initial (fr)
- liste de propriétés de grands cardinaux (fr)
- modèle intérieur (fr)
- modèle minimal (fr)
- modèle standard (fr)
- ordinal de Church-Kleene (fr)
- quantificateur borné (fr)
- zéro dièse (fr)
- principe de réflexion (fr)
- Cardinal de Mahlo (fr)
- Ensemble héréditairement fini (fr)
- Extension élémentaire (fr)
- Formule absolue (fr)
- Ordinal régulier (fr)
- Théorie hyperarithmétique (fr)
- cardinal initial (fr)
- liste de propriétés de grands cardinaux (fr)
- modèle intérieur (fr)
- modèle minimal (fr)
- modèle standard (fr)
- ordinal de Church-Kleene (fr)
- quantificateur borné (fr)
|
| prop-fr:isbn
|
- 3 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:langue
| |
| prop-fr:lieu
|
- Princeton (fr)
- Princeton (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:mathReviews
| |
| prop-fr:pagesTotales
| |
| prop-fr:texte
|
- 0 (xsd:integer)
- plongement élémentaire (fr)
- absolue (fr)
- de Mahlo (fr)
- ensembles héréditairement finis (fr)
- hyperarithmétiques (fr)
- modèle standard (fr)
- ordinaux initiaux (fr)
- ordinaux réguliers (fr)
- quantificateurs bornés (fr)
|
| prop-fr:titre
|
- Models of ZF-Set Theory (fr)
- The Consistency of the Continuum Hypothesis (fr)
- Models of ZF-Set Theory (fr)
- The Consistency of the Continuum Hypothesis (fr)
|
| prop-fr:titreVolume
| |
| prop-fr:trad
|
- Mahlo cardinal (fr)
- Zero sharp (fr)
- reflection principle (fr)
- inner model (fr)
- Elementary extension (fr)
- Absoluteness (fr)
- Church–Kleene ordinal (fr)
- Hyperarithmetical theory (fr)
- Minimal model (fr)
- Regular ordinal (fr)
- Standard model (fr)
- bounded quantifier (fr)
- hereditarily finite set (fr)
- initial ordinal (fr)
- list of large cardinal properties (fr)
- Mahlo cardinal (fr)
- Zero sharp (fr)
- reflection principle (fr)
- inner model (fr)
- Elementary extension (fr)
- Absoluteness (fr)
- Church–Kleene ordinal (fr)
- Hyperarithmetical theory (fr)
- Minimal model (fr)
- Regular ordinal (fr)
- Standard model (fr)
- bounded quantifier (fr)
- hereditarily finite set (fr)
- initial ordinal (fr)
- list of large cardinal properties (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- En mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté L, est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur « la cohérence de l'axiome du choix et de l'hypothèse généralisée du continu ». Il y montrait que cette classe est un (en) de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle. Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente. De nombreux autres théorèmes (comme les résultats d’existence dépendant du lemme de Zorn) n'étant applicables que si on admet l’axiome du choix, sa cohérence est un résu (fr)
- En mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté L, est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur « la cohérence de l'axiome du choix et de l'hypothèse généralisée du continu ». Il y montrait que cette classe est un (en) de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle. Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente. De nombreux autres théorèmes (comme les résultats d’existence dépendant du lemme de Zorn) n'étant applicables que si on admet l’axiome du choix, sa cohérence est un résu (fr)
|
| rdfs:label
|
- Constructible universe (en)
- Univers constructible (fr)
- Universo construível (pt)
- Uniwersum konstruowalne (pl)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
