Reviews - Alfred Tarski. Ordinal algebras. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1956, V + 133 pp. - Chen-Chung Chang. Appendix A. Some additional theorems on ordinal algebras. Therein, pp. 85–98. - Bjarni Jónsson. Appendix B. A unique decomposition theorem for relational addition. Therein, pp. 99–123.

Hugo Ribeiro

doi:10.2307/2964212

Reviews - Alfred Tarski. Ordinal algebras. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1956, V + 133 pp. - Chen-Chung Chang. Appendix A. Some additional theorems on ordinal algebras. Therein, pp. 85–98. - Bjarni Jónsson. Appendix B. A unique decomposition theorem for relational addition. Therein, pp. 99–123.

Journal of Symbolic Logic ◽

10.2307/2964212 ◽

1960 ◽

Vol 25 (2) ◽

pp. 156-158

Author(s):

Hugo Ribeiro

Keyword(s):

Decomposition Theorem ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing ◽

Unique Decomposition

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

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

Reviews - Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. VIII–IX. - Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 3–35. - Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 39–74. - Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 77–87. - Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 89–91. - Index. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1953, pp. 93–98.

Journal of Symbolic Logic ◽

10.2307/2964758 ◽

1959 ◽

Vol 24 (2) ◽

pp. 167-169 ◽

Cited By ~ 1

Author(s):

Martin Davis

Keyword(s):

Elementary Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

North Holland Publishing ◽

General Method

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