17 results
Gaisi Takeuti. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 65–97. - Gaisi Takeuti. A formalization of the theory of ordinal numbers. The journal of symbolic logic, vol. 30 (1965), pp. 295–317.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-193
- Print publication:
- March 1972
-
- Article
- Export citation
Walter Felscher. Zur Algebra unendlich longer Zeichenreihen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 5–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
- Print publication:
- March 1971
-
- Article
- Export citation
Akiko Kino. On definability of ordinals in logic with infinitely long expressions. The journal of symbolic logic, vol. 31 (1966), pp. 365–375. - Akiko Kino. Correction to a paper on definability of ordinals in infinite logic. The journal of symbolic logic, vol. 32 (1967), pp. 343–344.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- June 1970
-
- Article
- Export citation
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:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Erwin Engeler. A reduction-principle for infinite formulas. Mathematische Annalen, vol. 151 (1963), pp. 296–301.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Nonaxiomatizability results for infinitary systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-384
- Print publication:
- 09 October 1967
-
- Article
- Export citation
S. Feferman and R. L. Vaught. The first order properties of products of algebraic systems. Fundamenta mathematicae, vol, 47 (1959), pp. 57–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 276
- Print publication:
- August 1967
-
- Article
- Export citation
H. J. Keisler. A complete first-order logic with infinitary predicates. Fundamenta mathematicae, vol. 52 (1963), pp. 177–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
- Print publication:
- June 1966
-
- Article
- Export citation
J. Słomiński. Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 449–456.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- March 1966
-
- Article
- Export citation
C. C. Chang. On the representation of α-complete Boolean algebras. Transactions of the American Mathematical Society, vol. 85 (1957), pp. 208–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
- Print publication:
- June 1965
-
- Article
- Export citation
Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 56
- Print publication:
- March 1964
-
- Article
- Export citation
Twenty-eighth annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 4 / December 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-308
- Print publication:
- December 1963
-
- Article
- Export citation
Independence proofs in predicate logic with infinitely long expressions
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-188
- Print publication:
- June 1962
-
- Article
- Export citation
Donald Monk. On the representation theory for cylindric algebras. Pacific journal of mathematics, vol. 11 (1961), pp. 1447–1457.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-234
- Print publication:
- June 1962
-
- Article
- Export citation
Paul Bernays. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, edited by A. Heyting. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
- Print publication:
- June 1962
-
- Article
- Export citation
R. S. Pierce. A generalization of atomic Boolean algebras. Pacific journal of mathematics, vol. 9 (1959), pp. 175–182.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- March 1962
-
- Article
- Export citation
R. S. Pierce. Representation theorems for certain Boolean algebras. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 42–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
- Print publication:
- March 1962
-
- Article
- Export citation