Suppose you have an infinite tower of subsets of the integers: such that for any , there exists such that . Can I determine whether or not ?
I figured out the answer is no. For example, if , then this satisfies the claim that for any , there exists with . However, , so it would not contain any non-positive integers.