Carol R. Karp (karp-cr)

Contributi a Philosophie.ch

Bibliography

Jensen, Ronald Björn and Karp, Carol R. 1971. “Primitive Recursive Set Functions.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 143–176. 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.
Karp, Carol R. 1964. Languages with Expressions of Infinite Length. Studies in Logic and the Foundations of Mathematics n. 36. Amsterdam: North-Holland Publishing Co.
Karp, Carol R. 1967. “A Proof of the Relative Consistency of the Continuum Hypothesis.” in Sets, Models and Recursion Theory (Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965), edited by John Newsome Crossley, pp. 1–32. Studies in Logic and the Foundations of Mathematics n. 46. Amsterdam: North-Holland Publishing Co.
Karp, Carol R. 1974. “Infinite-Quantifier Languages and \(\omega\)-Chains of Models.” in Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his Seventieth Birthday, edited by Arend Heyting, pp. 225–232. Proceedings of Symposia in Pure Mathematics n. 25. Providence, Rhode Island: American Mathematical Society. Held at the University of California, Berkeley, June 23-30, 1971.