Assertion: integer sequence | /r/HasProperty | hamkins et al
Facets:
value: for others
type: TRANSITIVE-OBJECT
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).