arXiv:1902.07373 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords set theory, binary sequences, mathematical object, length ordinal, logarithm-time search algorithm Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset