Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Ancestral_relation> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Ancestral_relation abstract "In mathematical logic, the ancestral relation (often shortened to ancestral) of a binary relation R is its transitive closure, however defined in a different way, see 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-theorem.
- Ancestral_relation wikiPageID "15892469".
- Ancestral_relation wikiPageLength "4203".
- Ancestral_relation wikiPageOutDegree "28".
- Ancestral_relation wikiPageRevisionID "668533172".
- Ancestral_relation wikiPageWikiLink Begriffsschrift.
- Ancestral_relation wikiPageWikiLink Binary_relation.
- Ancestral_relation wikiPageWikiLink Cardinal_number.
- Ancestral_relation wikiPageWikiLink Category:Mathematical_relations.
- Ancestral_relation wikiPageWikiLink Connectedness.
- Ancestral_relation wikiPageWikiLink Edward_N._Zalta.
- Ancestral_relation wikiPageWikiLink Finite_set.
- Ancestral_relation wikiPageWikiLink First-order_logic.
- Ancestral_relation wikiPageWikiLink Function_(mathematics).
- Ancestral_relation wikiPageWikiLink George_Boolos.
- Ancestral_relation wikiPageWikiLink Gottlob_Frege.
- Ancestral_relation wikiPageWikiLink Ivor_Grattan-Guinness.
- Ancestral_relation wikiPageWikiLink Logicism.
- Ancestral_relation wikiPageWikiLink Mathematical_logic.
- Ancestral_relation wikiPageWikiLink Principia_Mathematica.
- Ancestral_relation wikiPageWikiLink Property_(philosophy).
- Ancestral_relation wikiPageWikiLink Second-order_logic.
- Ancestral_relation wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Ancestral_relation wikiPageWikiLink Transitive_closure.
- Ancestral_relation wikiPageWikiLink Transitive_relation.
- Ancestral_relation wikiPageWikiLink Willard_Van_Orman_Quine.
- Ancestral_relation wikiPageWikiLinkText "Ancestral relation".
- Ancestral_relation wikiPageWikiLinkText "ancestral relation".
- Ancestral_relation wikiPageWikiLinkText "ancestral".
- Ancestral_relation date "September 2013".
- 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 wikiPageUsesTemplate Template:Clarify.
- Ancestral_relation subject Category:Mathematical_relations.
- Ancestral_relation type Concept.
- Ancestral_relation type Relation.
- Ancestral_relation comment "In mathematical logic, the ancestral relation (often shortened to ancestral) of a binary relation R is its transitive closure, however defined in a different way, see 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 Q17002141.
- Ancestral_relation sameAs m.03qd_zb.
- Ancestral_relation sameAs Q17002141.
- Ancestral_relation wasDerivedFrom Ancestral_relation?oldid=668533172.
- Ancestral_relation isPrimaryTopicOf Ancestral_relation.