Today I saw the question Denoting the set of initial segments of a binary sequence, which searches for a formula. It got put on hold as an unclear question. I guess that the unclearness was from meaning of formula. So can any one explain applicable meaning for it?
I agree that this question shouldn't be closed.
I had just filed a reopen request in the designated thread.
Edit: it has now been reopened.