• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Suslin representation     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : dbo:Plant, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: plant New Facet based on Instances of this Class

In mathematics, a Suslin representation of a set of reals (more precisely, elements of Baire space) is a tree whose projection is that set of reals. More generally, a subset A of κω is λ-Suslin if there is a tree T on κ × λ such that A = p[T]. By a tree on κ × λ we mean here a subset T of the union of κi × λi for all i ∈ N (or i < ω in set-theoretical notation). Here, p[T] = { f | ∃g : (f,g) ∈ [T] } is the projection of T,where [T] = { (f, g ) | ∀n ∈ ω : (f(n), g(n) ∈ T } is the set of branches through T.