http://dbpedia.org/ontology/abstract
|
In constructive mathematics, a set is inhabited if there exists an element In classical mathematics, this is the same as the set being nonempty; however, this equivalence is not valid in intuitionistic logic (or constructive logic).
|
http://dbpedia.org/ontology/wikiPageID
|
5473033
|
http://dbpedia.org/ontology/wikiPageLength
|
3857
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1062680530
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Structure_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/Classical_mathematics +
, http://dbpedia.org/resource/Nonempty +
, http://dbpedia.org/resource/Riemann_hypothesis +
, http://dbpedia.org/resource/Category:Mathematical_objects +
, http://dbpedia.org/resource/Classical_logic +
, http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
, http://dbpedia.org/resource/Set_%28mathematics%29 +
, http://dbpedia.org/resource/Constructive_mathematics +
, http://dbpedia.org/resource/Empty_set +
, http://dbpedia.org/resource/Subset +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Wiktionary:inhabitant +
, http://dbpedia.org/resource/Category:Basic_concepts_in_set_theory +
, http://dbpedia.org/resource/Category:Concepts_in_logic +
, http://dbpedia.org/resource/Existential_quantifier +
, http://dbpedia.org/resource/Kripke_model +
, http://dbpedia.org/resource/Axiom_of_specification +
, http://dbpedia.org/resource/Wiktionary:inhabited +
, http://dbpedia.org/resource/Well-formed_formula +
|
http://dbpedia.org/property/id
|
5931
|
http://dbpedia.org/property/title
|
Inhabited set
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:PlanetMath_attribution +
, http://dbpedia.org/resource/Template:Em +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Isbn +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:Annotated_link +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Category:Constructivism_%28mathematics%29 +
, http://dbpedia.org/resource/Category:Basic_concepts_in_set_theory +
, http://dbpedia.org/resource/Category:Concepts_in_logic +
, http://dbpedia.org/resource/Category:Mathematical_objects +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Inhabited_set?oldid=1062680530&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Inhabited_set +
|
owl:sameAs |
http://rdf.freebase.com/ns/m.0dnf9r +
, https://global.dbpedia.org/id/4n7y5 +
, http://www.wikidata.org/entity/Q6033616 +
, http://dbpedia.org/resource/Inhabited_set +
|
rdfs:comment |
In constructive mathematics, a set is inhabited if there exists an element In classical mathematics, this is the same as the set being nonempty; however, this equivalence is not valid in intuitionistic logic (or constructive logic).
|
rdfs:label |
Inhabited set
|