PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Since any group is a metric group with the trivial distance $d(g,h)=1-\delta_{gh}$, it seems to me that your question 2 asks whether every ``uncountable'' group embeds into the algebraic ultraproduct of countable groups.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net