Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Ancestral_relation> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Ancestral_relation abstract "In mathematical logic, the ancestral relation (often shortened to ancestral) of a binary relation R is defined below. Ancestral relations make their first appearance in Frege's Begriffsschrift. Frege later employed them in his Grundgesetze as part of his definition of the finite cardinals. Hence the ancestral was a key part of his search for a logicist foundation of arithmetic.".
- Ancestral_relation wikiPageExternalLink frege-logic.
- Ancestral_relation wikiPageID "15892469".
- Ancestral_relation wikiPageRevisionID "600072827".
- Ancestral_relation date "September 2013".
- Ancestral_relation hasPhotoCollection Ancestral_relation.
- Ancestral_relation reason "The article referred to apparently doesn't handle relations. The notion of a connected graph defined there is different from the notion defined in prop.133.".
- Ancestral_relation subject Category:Mathematical_relations.
- Ancestral_relation comment "In mathematical logic, the ancestral relation (often shortened to ancestral) of a binary relation R is defined below. Ancestral relations make their first appearance in Frege's Begriffsschrift. Frege later employed them in his Grundgesetze as part of his definition of the finite cardinals. Hence the ancestral was a key part of his search for a logicist foundation of arithmetic.".
- Ancestral_relation label "Ancestral relation".
- Ancestral_relation sameAs m.03qd_zb.
- Ancestral_relation sameAs Q17002141.
- Ancestral_relation sameAs Q17002141.
- Ancestral_relation wasDerivedFrom Ancestral_relation?oldid=600072827.
- Ancestral_relation isPrimaryTopicOf Ancestral_relation.