Assertion: set's subset | /r/HasProperty | arithmetical
Facets:
value: conversely
type: DEGREE
Source sentences:
text: Conversely, any subset of ω belonging to L ω +1 is arithmetical (because elements of L ω can be coded by natural numbers in such a way that ∈ is definable, i.e., arithmetic).