Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/AD+> ?p ?o }
Showing triples 1 to 41 of
41
with 100 triples per page.
- AD+ abstract "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: Every set of reals is ∞-Borel. 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.".
- AD+ wikiPageID "2818935".
- AD+ wikiPageLength "1031".
- AD+ wikiPageOutDegree "17".
- AD+ wikiPageRevisionID "646851881".
- AD+ wikiPageWikiLink Axiom_of_dependent_choice.
- AD+ wikiPageWikiLink Axiom_of_determinacy.
- AD+ wikiPageWikiLink Category:Axioms_of_set_theory.
- AD+ wikiPageWikiLink Category:Determinacy.
- AD+ wikiPageWikiLink Continuous_function.
- AD+ wikiPageWikiLink Determinacy.
- AD+ wikiPageWikiLink Discrete_space.
- AD+ wikiPageWikiLink Discrete_topology.
- AD+ wikiPageWikiLink Image_(mathematics).
- AD+ wikiPageWikiLink Infinity-Borel_set.
- AD+ wikiPageWikiLink Preimage.
- AD+ wikiPageWikiLink Product_topology.
- AD+ wikiPageWikiLink Real_number.
- AD+ wikiPageWikiLink Set_(mathematics).
- AD+ wikiPageWikiLink Set_theory.
- AD+ wikiPageWikiLink Suslins_problem.
- AD+ wikiPageWikiLink Theta_(set_theory).
- AD+ wikiPageWikiLink W._Hugh_Woodin.
- AD+ wikiPageWikiLink Zermelo-Fraenkel_set_theory.
- AD+ wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- AD+ wikiPageWikiLink Θ_(set_theory).
- AD+ wikiPageWikiLink ∞-Borel.
- AD+ wikiPageWikiLinkText "AD+".
- AD+ hasPhotoCollection AD+.
- AD+ wikiPageUsesTemplate Template:Settheory-stub.
- AD+ subject Category:Axioms_of_set_theory.
- AD+ subject Category:Determinacy.
- AD+ hypernym Extension.
- AD+ type Software.
- AD+ comment "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: Every set of reals is ∞-Borel. For any ordinal λ less than Θ, any subset A of ωω, and any continuous function π:λω→ωω, the preimage π−1[A] is determined.".
- AD+ label "AD+".
- AD+ sameAs m.084nzh.
- AD+ sameAs Q4650969.
- AD+ sameAs Q4650969.
- AD+ wasDerivedFrom AD+?oldid=646851881.
- AD+ isPrimaryTopicOf AD+.