AD+
http://dbpedia.org/resource/AD+ an entity of type: Software
In set theory, AD+ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy. The axiom, which is to be understood in the context of ZF plus DCR (the axiom of dependent choice for real numbers), states two things: 1.
* Every set of reals is ∞-Borel. 2.
* For any ordinal λ less than Θ, any subset A of ωω, and any continuous function π:λω→ωω, the preimage π−1[A] is determined. (Here λω is to be given the product topology, starting with the discrete topology on λ.) The second clause by itself is referred to as ordinal determinacy.
rdf:langString
Dalam teori himpunan, AD+ merupakan singkatan untuk , yang diusulkan oleh . Aksioma ini, dalam konteks teori himpunan yang dilengkapi dengan DCR ( untuk bilangan real), menyatakan dua hal: 1.
* Setiap himpunan real adalah himpunan . 2.
* Untuk suatu ordinal lebih kecil dari , suatu himpunan bagian dari , dan suatu fungsi kontinu , . (Disini menjadi topologi darab yang diberikan, dimulai dengan pada .) Klausa kedua oleh sendirinya dirujuk sebagai determinasi ordinal.
rdf:langString
rdf:langString
AD+
rdf:langString
AD+
xsd:integer
2818935
xsd:integer
813661958
rdf:langString
In set theory, AD+ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy. The axiom, which is to be understood in the context of ZF plus DCR (the axiom of dependent choice for real numbers), states two things: 1.
* Every set of reals is ∞-Borel. 2.
* For any ordinal λ less than Θ, any subset A of ωω, and any continuous function π:λω→ωω, the preimage π−1[A] is determined. (Here λω is to be given the product topology, starting with the discrete topology on λ.) The second clause by itself is referred to as ordinal determinacy.
rdf:langString
Dalam teori himpunan, AD+ merupakan singkatan untuk , yang diusulkan oleh . Aksioma ini, dalam konteks teori himpunan yang dilengkapi dengan DCR ( untuk bilangan real), menyatakan dua hal: 1.
* Setiap himpunan real adalah himpunan . 2.
* Untuk suatu ordinal lebih kecil dari , suatu himpunan bagian dari , dan suatu fungsi kontinu , . (Disini menjadi topologi darab yang diberikan, dimulai dengan pada .) Klausa kedua oleh sendirinya dirujuk sebagai determinasi ordinal.
xsd:nonNegativeInteger
1258