Property |
Value |
dbo:abstract
|
- En el campo matemático de teoría de conjuntos, el modelo de Solovay es un modelo construido por (1970) en el que todos los axiomas de la teoría de conjuntos de Zermelo-Fraenkel se cumplen, a excepción del axioma de elección, pero en el que todos los conjuntos de números reales son medibles Lebesgue. La construcción se sustenta en la existencia de un cardinal inaccesible. De esta forma Solovay demostró que el axioma de elección es esencial para la demostración de la existencia de un conjunto no medible, y garantizó que la existencia de un cardinal inaccesible es consistente con ZFC, los axiomas de Zermelo-Fraenkel incluyendo el axioma de elección. (es)
- En el campo matemático de teoría de conjuntos, el modelo de Solovay es un modelo construido por (1970) en el que todos los axiomas de la teoría de conjuntos de Zermelo-Fraenkel se cumplen, a excepción del axioma de elección, pero en el que todos los conjuntos de números reales son medibles Lebesgue. La construcción se sustenta en la existencia de un cardinal inaccesible. De esta forma Solovay demostró que el axioma de elección es esencial para la demostración de la existencia de un conjunto no medible, y garantizó que la existencia de un cardinal inaccesible es consistente con ZFC, los axiomas de Zermelo-Fraenkel incluyendo el axioma de elección. (es)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:apellidos
|
- Shelah (es)
- Miller (es)
- Woodin (es)
- Krivine (es)
- Raisonnier (es)
- Shelah (es)
- Miller (es)
- Woodin (es)
- Krivine (es)
- Raisonnier (es)
|
prop-es:author1Link
|
- Robert M. Solovay (es)
- Robert M. Solovay (es)
|
prop-es:capítulo
|
- Théorèmes de consistance en théorie de la mesure de R. Solovay (es)
- Théorèmes de consistance en théorie de la mesure de R. Solovay (es)
|
prop-es:doi
|
- 101002 (xsd:integer)
- 101007 (xsd:integer)
- 102307 (xsd:integer)
|
prop-es:editorial
|
- Association for Symbolic Logic (es)
- Association for Symbolic Logic (es)
|
prop-es:enlaceautor
|
- Saharon Shelah (es)
- Saharon Shelah (es)
|
prop-es:first
|
- Ernst (es)
- Jacques (es)
- Robert M. (es)
- Ernst (es)
- Jacques (es)
- Robert M. (es)
|
prop-es:isbn
| |
prop-es:issn
|
- 3 (xsd:integer)
- 21 (xsd:integer)
- 22 (xsd:integer)
- 44 (xsd:integer)
- 151 (xsd:integer)
- 303 (xsd:integer)
|
prop-es:issue
| |
prop-es:journal
| |
prop-es:jstor
| |
prop-es:last
|
- Stern (es)
- Solovay (es)
- Specker (es)
- Stern (es)
- Solovay (es)
- Specker (es)
|
prop-es:mr
|
- 99297 (xsd:integer)
- 265151 (xsd:integer)
- 768968 (xsd:integer)
|
prop-es:nombre
|
- Jean (es)
- Jean-Louis (es)
- Hugh (es)
- Arnold W. (es)
- Saharon (es)
- Jean (es)
- Jean-Louis (es)
- Hugh (es)
- Arnold W. (es)
- Saharon (es)
|
prop-es:número
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 3 (xsd:integer)
|
prop-es:pages
|
- 1 (xsd:integer)
- 173 (xsd:integer)
- 325 (xsd:integer)
|
prop-es:pubPeriódica
|
- Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences. Séries A et B (es)
- The Journal of Symbolic Logic (es)
- Israel J. Math. (es)
- Israel Journal of Mathematics (es)
- Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences. Séries A et B (es)
- The Journal of Symbolic Logic (es)
- Israel J. Math. (es)
- Israel Journal of Mathematics (es)
|
prop-es:páginas
|
- 1 (xsd:integer)
- 48 (xsd:integer)
- 187 (xsd:integer)
- 381 (xsd:integer)
- 633 (xsd:integer)
- A549--A552 (es)
|
prop-es:serie
|
- Lecture Notes in Mathematics (es)
- Lecture Notes in Mathematics (es)
|
prop-es:series
|
- Second Series (es)
- Second Series (es)
|
prop-es:title
|
- Le problème de la mesure (es)
- A model of set-theory in which every set of reals is Lebesgue measurable (es)
- Zur Axiomatik der Mengenlehre (es)
- Le problème de la mesure (es)
- A model of set-theory in which every set of reals is Lebesgue measurable (es)
- Zur Axiomatik der Mengenlehre (es)
|
prop-es:título
|
- Séminaire Bourbaki vol. 1968/69 Exposés 347-363 (es)
- Can you take Solovay's inaccessible away? (es)
- Review of "Can You Take Solovay's Inaccessible Away? by Saharon Shelah" (es)
- Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable (es)
- Modèles de ZF + AC dans lesquels tout ensemble de réels définissable en termes d'ordinaux est mesurable-Lebesgue (es)
- A mathematical proof of S. Shelah's theorem on the measure problem and related results. (es)
- Séminaire Bourbaki vol. 1968/69 Exposés 347-363 (es)
- Can you take Solovay's inaccessible away? (es)
- Review of "Can You Take Solovay's Inaccessible Away? by Saharon Shelah" (es)
- Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable (es)
- Modèles de ZF + AC dans lesquels tout ensemble de réels définissable en termes d'ordinaux est mesurable-Lebesgue (es)
- A mathematical proof of S. Shelah's theorem on the measure problem and related results. (es)
|
prop-es:volume
|
- 3 (xsd:integer)
- 92 (xsd:integer)
|
prop-es:volumen
|
- 48 (xsd:integer)
- 54 (xsd:integer)
- 70 (xsd:integer)
- 179 (xsd:integer)
- 269 (xsd:integer)
|
prop-es:year
|
- 1957 (xsd:integer)
- 1969 (xsd:integer)
- 1970 (xsd:integer)
- 1971 (xsd:integer)
- 1984 (xsd:integer)
- 1985 (xsd:integer)
- 1989 (xsd:integer)
- 1990 (xsd:integer)
|
dct:subject
| |
rdfs:comment
|
- En el campo matemático de teoría de conjuntos, el modelo de Solovay es un modelo construido por (1970) en el que todos los axiomas de la teoría de conjuntos de Zermelo-Fraenkel se cumplen, a excepción del axioma de elección, pero en el que todos los conjuntos de números reales son medibles Lebesgue. La construcción se sustenta en la existencia de un cardinal inaccesible. (es)
- En el campo matemático de teoría de conjuntos, el modelo de Solovay es un modelo construido por (1970) en el que todos los axiomas de la teoría de conjuntos de Zermelo-Fraenkel se cumplen, a excepción del axioma de elección, pero en el que todos los conjuntos de números reales son medibles Lebesgue. La construcción se sustenta en la existencia de un cardinal inaccesible. (es)
|
rdfs:label
|
- Modelo de Solovay (es)
- Modelo de Solovay (es)
|
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is foaf:primaryTopic
of | |