14 results
M. Makkai. Svenonius sentences and Lindström's theory on preservation theorems. Fundamenta mathematicae, vol. 73 no. 3 (1972), pp. 219–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 635
- Print publication:
- December 1975
-
- Article
- Export citation
Weakly atomic-compact relational structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-140
- Print publication:
- March 1971
-
- Article
- Export citation
A. Ehrenfeucht and A. Mostowski. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 369–373.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-587
- Print publication:
- December 1970
-
- Article
- Export citation
Per Lindström. First order predicate logic with generalized quantifiers. Theoria, vol. 32 (1966), pp. 186–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 650
- Print publication:
- February 1970
-
- Article
- Export citation
Per Lindström. On relations between structures. Theoria (Lund), vol. 32 (1966), pp. 172–185.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
- Print publication:
- 17 November 1969
-
- Article
- Export citation
R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. 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. 390–401.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-477
- Print publication:
- 10 October 1968
-
- Article
- Export citation
M. Makkai A compactness result concerning direct, products of models. Fundamenta mathematicae, vol. 57 (1965), pp. 313–325.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 477
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Daniel Ponasse. Problèmes d′universalité s′introduisant dans l′algébrisation de la logique mathématique. Nagoya mathematical journal, vol. 20 (1962), pp. 29–73, and Vol. 21 (1962), pp. 61–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-418
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Daniel Ponasse. Une démonstration du théorème de complétude de Gödel. Publications du Départment de Mathématiques (Lyon), vol. 3 No. 1 (1966), pp. 2–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 418
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Michael Morley. On theories categorical in uncountable powers. Proceedings of the National Academy of Sciences of the United States of America, vol. 49 (1963), pp. 213–216. - Michael Morley. Categoricity in power. Transactions of the American Mathematical Society, vol. 114 (1965), pp. 514–538.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 646
- Print publication:
- December 1966
-
- Article
- Export citation
Erwin Engeler. Äquivalenzklassen von n-Tupeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 340–345.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
- Print publication:
- 02 September 1966
-
- Article
- Export citation
C. Ryll-Nardzewski. On the categoricity in power . Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 545–548.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Lars Svenonius. ℵ0-categoricity in first-order predicate calculus. Theoria (Lund), vol. 25 (1959), pp. 82–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Daniel Ponasse. Structure prébooléienne. Ensemble prébooléien universel associé à un ensemble quelconque. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 899–902. - Daniel Ponasse. Anneau booléien universel associé à un ensemble quelconque. Applications au calcul propositionnel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 1093–1096.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
- Print publication:
- September 1965
-
- Article
- Export citation