Excerpt from Some Decidability Results on Quantified Sublanguages of Set Theory Finally for each pair of variables in V0 U D U F, say 21 and z2, if l 6 M22 put 21 6 22 in Q, else put 21 g 22 in Q. Let then Q be a formula obtained from Q as described in the statement of the theorem. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.