Contents
Reviews
Jack H. Silver. Measurable cardinals and well-orderings. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 414–446.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-331
-
- Article
- Export citation
Kenneth Kunen. Elementary embeddings and infinitary combinatorics. The journal of symbolic logic, vol. 36, no. 3 (for 1971, pub. 1972), pp. 407–413.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
-
- Article
- Export citation
Jens Erik Fenstad. The axiom of determinateness. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 41–61.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
-
- Article
- Export citation
W. Hanf. On a problem of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 (1964), pp. 325–334. - D. Monk and D. Scott. Additions to some results of Erdös and Tarski. Fundamenta mathematicae, vol. 53 no. 3 (1964), pp. 335–343. - A. Hajnal. Remarks on the theory of W. P. Hanf. Fundamenta mathematicae vol. 54 no. 1 (1964), pp. 109–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
-
- Article
- Export citation
H. Jerome Keisler. Good ideals in fields of sets. Annals of mathematics, vol. 79 (1964), pp. 338–359. - H. Jerome Keisler. Ideals with prescribed degree of goodness. Annals of mathematics vol. 81 (1965), pp. 112–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
-
- Article
- Export citation
Leon Henkin. Mathematical foundations for mathematics. The American mathematical monthly, vol. 78 (1971), pp. 463–487.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
-
- Article
- Export citation
John Myhill. The invalidity of Markoff's schema. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 359–360.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
-
- Article
- Export citation
R. E. Vesley. A palatable substitute for Kripke's schema. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 197–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
-
- Article
- Export citation
H. J. Keisler. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 35–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
-
- Article
- Export citation
Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages, edited by Jon Barwise, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 80–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
-
- Article
- Export citation
Jon Barwise. Applications of strict predicates to infinitary logic. The journal of symbolic logic, vol. 34 (1969), pp. 409–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
-
- Article
- Export citation
Jerome Malitz. Universal classes in infinitary languages. Duke mathematical journal, vol. 36 (1969), pp. 621–630.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
-
- Article
- Export citation
Roger C. Lyndon. The representation of relation algebras, II. Annals of mathematics, ser. 2 vol. 63 (1956), pp. 294–307.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
Ralph McKenzie. Representations of integral relation algebras. The Michigan mathematical journal, vol. 17 (1970), pp. 279–287.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
David W. Kueker. Generalized interpolation and definability. Annals of mathematical logic, vol. 1 no. 4 (1970), pp. 423–468.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
-
- Article
- Export citation
Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. 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. 70–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 338
-
- Article
- Export citation
S. R. Kogalovskij. Ob algébraičéskih konstrukciáh sohranáúščih kompaktnost'. Russian original of XXXIX 368(1). Sibirskij matématičéskij žurnal, vol. 8 (1967), pp. 1202–1205.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
-
- Article
- Export citation
S. R. Kogalovskij. O kompaktnyh klassah algébraičéskih sistém. Russian original of XXXIX 367(24). Algébra i logika, vol. 7 no. 2 (1968), pp. 27–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
-
- Article
- Export citation
Abraham Robinson. Algebraic function fields and non-standard arithmetic. Contributions to non-standard analysis, edited by W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69, North-Holland Publishing Company, Amsterdam and London 1972, pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
-
- Article
- Export citation
Donald J. Collins. On recognising properties of groups which have solvable word problem. Archiv der Mathematik, vol. 21 (1970), pp. 31–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
-
- Article
- Export citation