A nonconstructible Δ₃¹ set of integers

A nonconstructible $\Delta _{3}{}^{1}$ set of integers
HTML articles powered by AMS MathViewer

Trans. Amer. Math. Soc. 127 (1967), 50-75

DOI: https://doi.org/10.1090/S0002-9947-1967-0211873-5

PDF | Request permission

References

J. W. Addison, Some consequences of the axiom of constructibility, Fund. Math. 46 (1959), 337–357. MR 124206, DOI 10.4064/fm-46-3-337-357
Paul J. Cohen, The independence of the continuum hypothesis. II, Proc. Nat. Acad. Sci. U.S.A. 51 (1964), 105–110. MR 159745, DOI 10.1073/pnas.51.1.105
P. Erdős and A. Hajnal, On the structure of set-mappings, Acta Math. Acad. Sci. Hungar. 9 (1958), 111–131. MR 95124, DOI 10.1007/BF02023868
P. Erdös and R. Rado, A partition calculus in set theory, Bull. Amer. Math. Soc. 62 (1956), 427–489. MR 81864, DOI 10.1090/S0002-9904-1956-10036-0
S. Feferman, Some applications of the notions of forcing and generic sets, Fund. Math. 56 (1964/65), 325–345. MR 176925, DOI 10.4064/fm-56-3-325-345

Self extending models, measurable cardinals and the constructible universe

The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory

S. C. Kleene, Arithmetical predicates and function quantifiers, Trans. Amer. Math. Soc. 79 (1955), 312–340. MR 70594, DOI 10.1090/S0002-9947-1955-0070594-4
Azriel Lévy, Definability in axiomatic set theory. I, Logic, Methodology and Philos. Sci. (Proc. 1964 Internat. Congr.), North-Holland, Amsterdam, 1965, pp. 127–151. MR 0205827
J. R. Shoenfield, The problem of predicativity, Essays on the foundations of mathematics, Magnes Press, Hebrew Univ., Jerusalem, 1961, pp. 132–139. MR 0164886

Some applications of model theory in set theory

Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902
J. R. Shoenfield, The form of the negation of a predicate, Proc. Sympos. Pure Math., Vol. V, American Mathematical Society, Providence, R.I., 1962, pp. 131–134. MR 0142449

The measure problem