Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Effective_Polish_space> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Effective_Polish_space abstract "In mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation. Such spaces are studied in effective descriptive set theory and in constructive analysis. In particular, standard examples of Polish spaces such as the real line, the Cantor set and the Baire space are all effective Polish spaces.".
- Effective_Polish_space wikiPageID "24662110".
- Effective_Polish_space wikiPageLength "1166".
- Effective_Polish_space wikiPageOutDegree "14".
- Effective_Polish_space wikiPageRevisionID "626071484".
- Effective_Polish_space wikiPageWikiLink Baire_space_(set_theory).
- Effective_Polish_space wikiPageWikiLink Cantor_set.
- Effective_Polish_space wikiPageWikiLink Category:Computability_theory.
- Effective_Polish_space wikiPageWikiLink Category:Computable_analysis.
- Effective_Polish_space wikiPageWikiLink Category:Effective_descriptive_set_theory.
- Effective_Polish_space wikiPageWikiLink Complete_metric_space.
- Effective_Polish_space wikiPageWikiLink Computable_presentation.
- Effective_Polish_space wikiPageWikiLink Constructive_analysis.
- Effective_Polish_space wikiPageWikiLink Effective_descriptive_set_theory.
- Effective_Polish_space wikiPageWikiLink Mathematical_logic.
- Effective_Polish_space wikiPageWikiLink Metric_space.
- Effective_Polish_space wikiPageWikiLink Real_line.
- Effective_Polish_space wikiPageWikiLink Separable_space.
- Effective_Polish_space wikiPageWikiLink Yiannis_N._Moschovakis.
- Effective_Polish_space wikiPageWikiLinkText "effective Polish space".
- Effective_Polish_space wikiPageUsesTemplate Template:Mathlogic-stub.
- Effective_Polish_space subject Category:Computability_theory.
- Effective_Polish_space subject Category:Computable_analysis.
- Effective_Polish_space subject Category:Effective_descriptive_set_theory.
- Effective_Polish_space hypernym Space.
- Effective_Polish_space comment "In mathematical logic, an effective Polish space is a complete separable metric space that has a computable presentation. Such spaces are studied in effective descriptive set theory and in constructive analysis. In particular, standard examples of Polish spaces such as the real line, the Cantor set and the Baire space are all effective Polish spaces.".
- Effective_Polish_space label "Effective Polish space".
- Effective_Polish_space sameAs Q5347243.
- Effective_Polish_space sameAs m.0809bzy.
- Effective_Polish_space sameAs Q5347243.
- Effective_Polish_space wasDerivedFrom Effective_Polish_space?oldid=626071484.
- Effective_Polish_space isPrimaryTopicOf Effective_Polish_space.