Azriel Lévy. On a spectrum of set theories. Illinois journal of mathematics, vol. 4 (1960), pp. 413–424. - A. Lévy and R. Vaught. Principles of partial reflection in the set theories of Zermelo and Ackermann. Pacific journal of mathematics, vol. 11 (1961), pp. 1045–1062. - Azriel Lévy. On the principles of reflection in axiomatic set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 87–93.

J. R. Shoenfield

doi:10.2307/2270738

Azriel Lévy. On a spectrum of set theories. Illinois journal of mathematics, vol. 4 (1960), pp. 413–424. - A. Lévy and R. Vaught. Principles of partial reflection in the set theories of Zermelo and Ackermann. Pacific journal of mathematics, vol. 11 (1961), pp. 1045–1062. - Azriel Lévy. On the principles of reflection in axiomatic set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 87–93.

Journal of Symbolic Logic ◽

10.2307/2270738 ◽

1970 ◽

Vol 35 (3) ◽

pp. 473-473

Author(s):

J. R. Shoenfield

Keyword(s):

Philosophy Of Science ◽

Set Theory ◽

International Congress ◽

Stanford University ◽

Partial Reflection ◽

Alfred Tarski ◽

Axiomatic Set Theory

Alfred Tarski. Some problems and results relevant to the foundations of set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 125–135. - W. Hanf. Incompactness in languages with infinitely long expressions. Fundamenta mathematicae, vol. 53 no. 3 (1964), pp. 309–324.

Journal of Symbolic Logic ◽

10.2307/2270592 ◽

1965 ◽

Vol 30 (1) ◽

pp. 95-96

Author(s):

Thomas Frayne

Keyword(s):

Philosophy Of Science ◽

Set Theory ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

Richard Montague. Two contributions to the foundations of set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, California, 1962, pp. 94–110.

Journal of Symbolic Logic ◽

10.2307/2271137 ◽

1969 ◽

Vol 34 (2) ◽

pp. 308-308

Author(s):

Solomon Feferman

Keyword(s):

Philosophy Of Science ◽

Set Theory ◽

International Congress ◽

Stanford University ◽

Alfred Tarski ◽

Richard Montague

H. Jerome Keisler. Some applications of the theory of models to set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 80–86.

Journal of Symbolic Logic ◽

10.2307/2270820 ◽

1967 ◽

Vol 32 (3) ◽

pp. 410-410

Author(s):

Azriel Lévy

Keyword(s):

Philosophy Of Science ◽

Set Theory ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

Alonzo Church. Mathematics and logic. Logic, methodology and philosophy of science, Proceedings of the I960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 181–186.

Journal of Symbolic Logic ◽

10.2307/2271353 ◽

1963 ◽

Vol 28 (1) ◽

pp. 106-107

Author(s):

E. J. Lemmon

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

J. F. Staal. Contraposition in Indian logic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, California, 1962, pp. 634–649.

Journal of Symbolic Logic ◽

10.2307/2271447 ◽

1970 ◽

Vol 35 (4) ◽

pp. 574-575

Author(s):

Jan Berg

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Indian Logic ◽

Alfred Tarski

Robert L. Vaught. On a theorem of Cobham concerning undecidable theories. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 14–25.

Journal of Symbolic Logic ◽

10.2307/2271015 ◽

1969 ◽

Vol 34 (1) ◽

pp. 126-127

Author(s):

Verena H. Dyson

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

Wanda Szmielew. New foundations of absolute geometry. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 168–175.

Journal of Symbolic Logic ◽

10.2307/2272627 ◽

1972 ◽

Vol 37 (1) ◽

pp. 201-201

Author(s):

Thomas Frayne

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Absolute Geometry ◽

Alfred Tarski ◽

New Foundations

J. R. Shoenheld. Some applications of degrees. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 56–59.

Journal of Symbolic Logic ◽

10.2307/2272770 ◽

1972 ◽

Vol 37 (3) ◽

pp. 610-610

Author(s):

S. K. Thomason

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 127–151.

Journal of Symbolic Logic ◽

10.2307/2270878 ◽

1970 ◽

Vol 34 (4) ◽

pp. 653-654

Author(s):

F. R. Drake

Keyword(s):

Philosophy Of Science ◽

Set Theory ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Axiomatic Set Theory

Roger C. Lyndon. Metamathematics and algebra: An example. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford1962, pp. 143–150.

Journal of Symbolic Logic ◽

10.2307/2270876 ◽

1970 ◽

Vol 34 (4) ◽

pp. 653-653

Author(s):

Arnold Oberschelp

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Alfred Tarski ◽

And Algebra