Assertion: boolean algebra | /r/HasProperty | concrete
Facets:
value: so far
type: OTHER
value: up to isomorphism
type: OTHER
Source sentences:
text: We shall however reach that goal via the surprisingly stronger observation that, up to isomorphism, all Boolean algebras are concrete.
text: The Boolean algebras we have seen so far have all been concrete, consisting of bit vectors or equivalently of subsets of some set.
text: We shall however reach that goal via the surprisingly stronger observation that, up to isomorphism, all Boolean algebras are concrete.
text: The Boolean algebras we have seen so far have all been concrete, consisting of bit vectors or equivalently of subsets of some set.