Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Subcountability> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Subcountability abstract "In constructive mathematics, a collection is subcountable if there exists a partial surjection from the natural numbers onto it. The name derives from the intuitive sense that such a collection is "no bigger" than the counting numbers. The concept is trivial in classical set theory, where a set is subcountable if and only if it is finite or countably infinite. Constructively it is consistent to assert the subcountability of some uncountable collections such as the real numbers. Indeed there are models of the constructive set theory CZF in which all sets are subcountable and models of IZF in which all sets with apartness relations are subcountable.".
- Subcountability wikiPageID "15036487".
- Subcountability wikiPageLength "1188".
- Subcountability wikiPageOutDegree "11".
- Subcountability wikiPageRevisionID "582355341".
- Subcountability wikiPageWikiLink Apartness_relation.
- Subcountability wikiPageWikiLink Category:Constructivism_(mathematics).
- Subcountability wikiPageWikiLink Constructive_mathematics.
- Subcountability wikiPageWikiLink Constructive_set_theory.
- Subcountability wikiPageWikiLink Constructivism_(mathematics).
- Subcountability wikiPageWikiLink Countable_set.
- Subcountability wikiPageWikiLink Countably_infinite.
- Subcountability wikiPageWikiLink Finite_set.
- Subcountability wikiPageWikiLink Natural_number.
- Subcountability wikiPageWikiLink Natural_numbers.
- Subcountability wikiPageWikiLink Partial_function.
- Subcountability wikiPageWikiLink Real_number.
- Subcountability wikiPageWikiLink Real_numbers.
- Subcountability wikiPageWikiLink Set_theory.
- Subcountability wikiPageWikiLink Surjection.
- Subcountability wikiPageWikiLink Surjective_function.
- Subcountability wikiPageWikiLinkText "Subcountability".
- Subcountability hasPhotoCollection Subcountability.
- Subcountability wikiPageUsesTemplate Template:Mathlogic-stub.
- Subcountability subject Category:Constructivism_(mathematics).
- Subcountability type Article.
- Subcountability type Article.
- Subcountability type Theory.
- Subcountability comment "In constructive mathematics, a collection is subcountable if there exists a partial surjection from the natural numbers onto it. The name derives from the intuitive sense that such a collection is "no bigger" than the counting numbers. The concept is trivial in classical set theory, where a set is subcountable if and only if it is finite or countably infinite. Constructively it is consistent to assert the subcountability of some uncountable collections such as the real numbers.".
- Subcountability label "Subcountability".
- Subcountability sameAs m.03h5gth.
- Subcountability sameAs Q7630981.
- Subcountability sameAs Q7630981.
- Subcountability wasDerivedFrom Subcountability?oldid=582355341.
- Subcountability isPrimaryTopicOf Subcountability.