25 results
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:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 201
- Print publication:
- March 1972
-
- Article
- Export citation
Mihály Makkai. On PCΔ-classes in the theory of models. English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 1–2 (1964), pp. 159–194. - M. Makkai. Remarks on my paper “On PCΔ-classes in the theory of models.” English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 3 (for 1964, pub. 1965), pp. 601–602.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
- Print publication:
- June 1971
-
- Article
- Export citation
Azriel Lévy. Axiomatization of induced theories. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 251–253.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Abraham A. Fraenkel. Mengenlehre und Logik. Dunker & Humblot, Berlin1959, 110 pp. - Abraham A. Fraenkel. Set theory and logic. Revised English translation of the above. Addison-Wesley Publishing Company, Reading, Massachusetts, Palo Alto, London, Don Mills, Ontario, 1966, vii + 102 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
- Print publication:
- 29 May 1969
-
- Article
- Export citation
E. Marczewski. Sur les congruences et les propriétés positives d'algèbres abstraites. Colloquium mathematicum, vol. 2 no. 3–4 (for 1951, pub. 1952), pp. 220–228. - Roger C. Lyndon. Properties preserved under homomorphism. Pacific journal of mathematics, vol. 9 (1959), pp. 143–154. - Roger C. Lyndon. Properties preserved in subdirect products. Pacific journal of mathematics, vol. 9 (1959), pp. 155–164. - R. C. Lyndon. Sentences preserved under homomorphisms; sentences preserved under subdirect products. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 122–124. - R. C. Lyndon. Properties preserved under algebraic constructions. Bulletin of the American Mathematical Society, vol. 65 (1959), pp. 287–299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 533-534
- Print publication:
- February 1968
-
- Article
- Export citation
Michael Morley and Robert Vaught. Homogeneous universal models. Mathematica Scandinavia, vol. 11 (1962), pp. 37–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 535
- Print publication:
- February 1968
-
- Article
- Export citation
Daniel Lacombe. Sur la méthode extensive en métamathématique. La revue scientifique, vol. 85 (1947), pp. 515–518.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 531
- Print publication:
- February 1968
-
- Article
- Export citation
Bjarni Jónsson. Universal relational systems. Mathematica Scandinavia, vol. 4 (1956), pp.193–208. - B. Jónsson. Homogeneous universal relational systems. Mathematica Scandinavia, vol. 8 (1960), pp. 137–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
- Print publication:
- February 1968
-
- Article
- Export citation
R. C. Lyndon. Relation algebras and projective geometry. The Michigan mathematical journal, vol. 8 (1961), pp. 21–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
- Print publication:
- August 1967
-
- Article
- Export citation
András Hajnal. On a consistency theorem connected with the generalized continuum problem. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 131–136. - A. Hajnal. On a consistency theorem connected with the generalized continuum problem. Acta mathematica Academiae Scientiarum Hungaricae, vol. 12 (1961), pp. 321–376. - Azriel Lévy. A generalization of Gödel's notion of constructibility. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 147–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
- Print publication:
- August 1967
-
- Article
- Export citation
H. Gaifman. Infinite Boolean polynomials I.Fundamenta mathematicae, vol. 54 (1964), pp. 229–250. (See Errata, ibid., vol. 57 no. 1 (1965), p. 117.) - A. W. Hales. On the non-existence of free complete Boolean algebras. Fundamenta mathematicae, vol. 54 (1964), pp. 45–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
- Print publication:
- June 1967
-
- Article
- Export citation
Donald Monk. On representable relation algebras. The Michigan mathematical journal, vol. 11 (1964), pp. 207–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 508
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Robert Vaught. The elementary character of two notions from general algebra. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 226–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
- Print publication:
- June 1965
-
- Article
- Export citation
L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 171–188.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
- Print publication:
- March 1965
-
- Article
- Export citation
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:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
- Print publication:
- March 1965
-
- Article
- Export citation
D. Scott and A. Tarski. The sentential calculus with infinitely long expressions. Colloquium mathematicum, vol. 6 (1958), pp. 165–170. - Dana Scott and Alfred Tarski. The sentential calculus with infinitely long expressions. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 83–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
- Print publication:
- March 1965
-
- Article
- Export citation
Gaisi Takeuti and Akiko Kino. On predicates with constructive infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 15 (1963), pp. 176–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
- Print publication:
- March 1965
-
- Article
- Export citation
A. Tarski. Remarks on predicate logic with infinitely long expressions. Colloquium mathematicum, vol. 6 (1958), pp. 171–176. - Alfred Tarski. Remarks on predicate logic with infinitely long expressions. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 160–163.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-95
- Print publication:
- March 1965
-
- Article
- Export citation
A. Grzegorczyk. A theory without recursive models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 (1962), pp. 63–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
- Print publication:
- March 1963
-
- Article
- Export citation
W. Szmielew. Absolute calculus of segments and its metamathematical implications. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 no. 4 (1959), pp. 213–220.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 238
- Print publication:
- June 1962
-
- Article
- Export citation