Assertion: sequence | /r/HasProperty | definable
Facets:
Source sentences:
text: For some transitive models M of ZFC, every sequence of integers in M is definable relative to M; for others, only some integer sequences are (Hamkins et al. 2013).