Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems

For upward closure, theorem 13 shows that every chain W[c0]⊆W[c1]⊆W[c2]⊆ · · · of Cohen-real extensions of W has an upper bound W[d] in another Cohen-real extension, and theorem 12