In the mathematical field of set theory, the Solovay model is a model constructed by Robert M. Solovay in which all of the axioms of Zermelo–Fraenkel set theory (ZF) hold, exclusive of the axiom of choice, but in which all sets of real numbers are Lebesgue measurable. The construction relies on the existence of an inaccessible cardinal.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Model de Solovay (ca)
- Modelo de Solovay (es)
- Solovay model (en)
- 梭羅維模型 (zh)
|
| rdfs:comment
| - 在數學的集合論中，梭羅維模型是一個由在1970年建構的模型。在這模型中，策梅洛-弗蘭克爾集合論（ZF）所有的公理成立，但不包括選擇公理；而在此模型中所有的集合都是勒貝格可測的。這個模型的建構仰賴於不可達基數的存在。 梭羅維藉此模型顯示說選擇公理對證明不可測集的存在性而言是必要的，至少在與帶有選擇公理的策梅洛-弗蘭克爾集合論（ZFC）相容的不可達基數存在的狀況下是如此。 (zh)
- Al camp matemàtic de teoria de conjunts, el model de Solovay és un model construït per Robert M. Solovay (1970) en el qual tots els axiomes de la teoria de conjunts de Zermelo-Fraenkel es compleixen, a excepció de l'axioma d'elecció, però en el qual tots els conjunts de nombres reals són mesurables Lebesgue. La construcció se sustenta en l'existència d'un cardinal inaccessible. (ca)
- En el campo matemático de teoría de conjuntos, el modelo de Solovay es un modelo construido por Robert M. Solovay (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)
- In the mathematical field of set theory, the Solovay model is a model constructed by Robert M. Solovay in which all of the axioms of Zermelo–Fraenkel set theory (ZF) hold, exclusive of the axiom of choice, but in which all sets of real numbers are Lebesgue measurable. The construction relies on the existence of an inaccessible cardinal. (en)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| authorlink
| |
| b
| |
| first
| |
| last
| |
| p
| |
| year
| |
| has abstract
| - Al camp matemàtic de teoria de conjunts, el model de Solovay és un model construït per Robert M. Solovay (1970) en el qual tots els axiomes de la teoria de conjunts de Zermelo-Fraenkel es compleixen, a excepció de l'axioma d'elecció, però en el qual tots els conjunts de nombres reals són mesurables Lebesgue. La construcció se sustenta en l'existència d'un cardinal inaccessible. D'aquesta forma Solovay va demostrar que l'axioma d'elecció és essencial per a la demostració de l'existència d'un conjunt no mesurable, i va garantir que l'existència d'un cardinal inaccessible és consistent amb ZFC, els axiomes de Zermelo-Fraenkel incloent-hi l'axioma d'elecció. (ca)
- En el campo matemático de teoría de conjuntos, el modelo de Solovay es un modelo construido por Robert M. Solovay (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)
- In the mathematical field of set theory, the Solovay model is a model constructed by Robert M. Solovay in which all of the axioms of Zermelo–Fraenkel set theory (ZF) hold, exclusive of the axiom of choice, but in which all sets of real numbers are Lebesgue measurable. The construction relies on the existence of an inaccessible cardinal. In this way Solovay showed that the axiom of choice is essential to the proof of the existence of a non-measurable set, at least granted that the existence of an inaccessible cardinal is consistent with ZFC, the axioms of Zermelo–Fraenkel set theory including the axiom of choice. (en)
- 在數學的集合論中，梭羅維模型是一個由在1970年建構的模型。在這模型中，策梅洛-弗蘭克爾集合論（ZF）所有的公理成立，但不包括選擇公理；而在此模型中所有的集合都是勒貝格可測的。這個模型的建構仰賴於不可達基數的存在。 梭羅維藉此模型顯示說選擇公理對證明不可測集的存在性而言是必要的，至少在與帶有選擇公理的策梅洛-弗蘭克爾集合論（ZFC）相容的不可達基數存在的狀況下是如此。 (zh)
|
| gold:hypernym
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is known for
of | |
| is known for
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)