About: AD+     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Speech107109196, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAD%2B

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.

AttributesValues
rdf:type
rdfs:label
  • AD+ (en)
  • AD+ (in)
rdfs: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: 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. (en)
  • 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. (in)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has 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: 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. (en)
  • 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. (in)
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 foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software