isStandardBorelSpace

P163472
predicate

Indicates that a measurable space is isomorphic (via a measurable bijection) to a Borel subset of a complete separable metric (Polish) space, thus having the structure of a standard Borel space.

Try in SPARQL

Sample triples (2)

Subject Object
Baire space true ⓘ
Baire space ω^ω true ⓘ