Joseph R. Shoenfield (shoenfield)

Contributions to Philosophie.ch

Bibliography

Shoenfield, Joseph R. 1958. “Degrees of Formal Systems.” The Journal of Symbolic Logic 23(4): 389–392.
Shoenfield, Joseph R. 1961. “The Problem of Predicativity.” in Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary, edited by Yehoshua Bar-Hillel, Edward Poznański, Michael O. Rabin, and Abraham Robinson, pp. 132–141. Jerusalem: The Magnes Press. Second edition: Bar-Hillel et al. (1966).
Shoenfield, Joseph R. 1967. Mathematical Logic. Reading, Massachusetts: Addison-Wesley.
Shoenfield, Joseph R. 1971. “Unramified Forcing.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 357–382. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.
Shoenfield, Joseph R. 1977a. “Axioms of Set Theory.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 321–344. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Shoenfield, Joseph R. 1977b. “Quantifier Elimination in Fields.” in Non-Classical Logics, Model Theory and Computability, Proceedings of the 3rd Latin-American Symposium on Mathematical Logic, edited by Ayda I. Arruda, Newton C. A. Da Costa, and Rolando B. Chuaqui, pp. 243–252. Studies in Logic and the Foundations of Mathematics n. 89. Amsterdam: North-Holland Publishing Co.
Shoenfield, Joseph R. 1993. Recursion Theory. Berlin: Springer.