H. Jerome Keisler. Finite approximations of infinitely long formulas. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 158–169. - H. Jerome Keisler. Some applications of infinitely long formulas. The journal of symbolic logic, vol. 30 (1965), pp. 339–349.

Carol Karp

doi:10.2307/2271019

H. Jerome Keisler. Finite approximations of infinitely long formulas. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 158–169. - H. Jerome Keisler. Some applications of infinitely long formulas. The journal of symbolic logic, vol. 30 (1965), pp. 339–349.

Journal of Symbolic Logic ◽

10.2307/2271019 ◽

1969 ◽

Vol 34 (1) ◽

pp. 129-130

Author(s):

Carol Karp

Keyword(s):

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

Finite Approximations ◽

North Holland Publishing

Download Full-text

Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 (1968), p. 568.

Journal of Symbolic Logic ◽

10.1017/s0022481200092434 ◽

1970 ◽

Vol 35 (1) ◽

pp. 135-135

Author(s):

David Makinson

Keyword(s):

Modal Logic ◽

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

Semantical Analysis ◽

North Holland Publishing ◽

Propositional Calculi

Download Full-text

Azriel Lévy. The Fraenkel-Moslowski method for independence proofs in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 221–228. - Paul E. Howard. Limitations on the Fraenkel-Mostowski method of independence proofs. The journal of symbolic logic, vol. 38 (1973), pp. 416–422.

Journal of Symbolic Logic ◽

10.2307/2271850 ◽

1975 ◽

Vol 40 (4) ◽

pp. 631-631

Author(s):

David Pincus

Keyword(s):

International Symposium ◽

Set Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing

Download Full-text

Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 89–95. - Solomon Feferman. Some applications of the notions of forcing and generic sets. Fundamenta mathematicae, vol. 56 no. 3 (1965), pp. 325–345.

Journal of Symbolic Logic ◽

10.2307/2272776 ◽

1972 ◽

Vol 37 (3) ◽

pp. 612-613

Author(s):

James E. Baumgartner

Keyword(s):

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing

Download Full-text

F. William Lawvere. Algebraic theories, algebraic categories, and algebraic functors. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 413–418.

Journal of Symbolic Logic ◽

10.2307/2270297 ◽

1971 ◽

Vol 36 (2) ◽

pp. 336-337

Author(s):

Anne Preller

Keyword(s):

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

Algebraic Theories ◽

North Holland Publishing

Download Full-text

Peter Freyd. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 107–120.

Journal of Symbolic Logic ◽

10.2307/2270296 ◽

1971 ◽

Vol 36 (2) ◽

pp. 336-336

Author(s):

Anne Preller

Keyword(s):

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing

Download Full-text

Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 39–54.

Journal of Symbolic Logic ◽

10.2307/2271291 ◽

1967 ◽

Vol 32 (1) ◽

pp. 129-130

Author(s):

Joel W. Robbin

Keyword(s):

International Symposium ◽

Set Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing ◽

Independence Results

Download Full-text

Pascual Jordan. Quantenlogik und das kommutative Gesetz. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957–January 4, 1958, edited by Leon Henkin, Patrick Suppes, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 365–375.

Journal of Symbolic Logic ◽

10.2307/2272701 ◽

1974 ◽

Vol 39 (2) ◽

pp. 353-353

Author(s):

M. Drieschner

Keyword(s):

International Symposium ◽

Special Reference ◽

Publishing Company ◽

University Of California ◽

Axiomatic Method ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing ◽

The University

Download Full-text

Wolfram Schwabhäuser. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 312–328.

Journal of Symbolic Logic ◽

10.2307/2272497 ◽

1971 ◽

Vol 36 (4) ◽

pp. 682-682

Author(s):

L. W. Szczerba

Keyword(s):

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing ◽

Elliptic Geometry

Download Full-text

Carol R. Karp. Finite-quantifier equivalence. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 407–412.

Journal of Symbolic Logic ◽

10.2307/2271546 ◽

1971 ◽

Vol 36 (1) ◽

pp. 158-158

Author(s):

H. Jerome Keisler

Keyword(s):

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing

Download Full-text

Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 329–341.

Journal of Symbolic Logic ◽

10.2307/2271545 ◽

1971 ◽

Vol 36 (1) ◽

pp. 157-158

Author(s):

Perry Smith

Keyword(s):

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing

Download Full-text