Solution to a problem of Rose and Rosser
A. R. Turquette · Proceedings of the American Mathematical Society · 1961
2. R. Montague, Semantical closure and non-finite axiomatizability. I, Proceedings of the 1959 International Symposium on the Foundations of Mathematics: Infinitistic Methods, to appear. 3. K. Godel, The consistency of the continuum hypothesis, Princeton, N. J., Princeton University Press, 1953. 4. I. L. Novak, A constructson for models of consistent systems, Fund. Math. vol. 37 (1950) pp. 87-110. 5. J. R. Shoenfield, A relative consistency proof, J. Symb. Logic vol. 19 (1954) pp. 21-28. 6. A. Tarski, A. Mostowski and R. M. Robinson, Undecidable theories, Amsterdam, North-Holland Publishing Co., 1953.