Reviews
J. R. Shoenfield. Quasicreative sets. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 964–967.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 166
-
- Article
- Export citation
R. L. Goodstein. The recursive irrationality of π. The journal of symbolic logic, vol. 19 (1954), pp. 267–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
-
- Article
- Export citation
Paul Axt. On a subrecursive hierarchy and primitive recursive degrees. Transactions of the American Mathematical Society, Bd. 92 (1959), S. 85–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
-
- Article
- Export citation
Paul R. Halmos. Predicates, terms, operations, and equality in polyadic Boolean algebras. Proceedings of the National Academy of Sciences of the United States of America, t. 42 (1956), p. 130–136.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 168
-
- Article
- Export citation
Jerzy Łoś. Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, S. 98–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 168
-
- Article
- Export citation
C. C. Chang. On unions of chains of models. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 120–127.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
-
- Article
- Export citation
Michael O. Rabin. Arithmetical extensions with prescribed cardinality. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, vol. 62 (1959), pp. 439–446; also Indagationes mathematicae, vol. 21 (1959), pp. 439–446.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
-
- Article
- Export citation
Abraham Robinson. On predicates in algebraically closed fields. The journal of symbolic logic, vol. 19 (1954), pp. 103–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-170
-
- Article
- Export citation
Abraham Robinson. Ordered structures and related concepts. Mathematical interpretation of formai systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, 1955, pp. 51–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 170
-
- Article
- Export citation
Abraham Robinson. Completeness and persistence in the theory of models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 15–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-171
-
- Article
- Export citation
Abraham Robinson. Some problems of definability in the lower predicate calculus. Fundamenta mathematicae, vol. 44 (1957), pp. 309–329.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
-
- Article
- Export citation
Abraham Robinson. Complete theories. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1956, VIII + 129 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-174
-
- Article
- Export citation
Abraham Robinson. A result on consistency and its application to the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, vol. 59 (1956), pp. 47–58; also Indagationes mathematicae, vol. 18 (1956), pp. 47–58.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
-
- Article
- Export citation
Theodore Hailperin. A theory of restricted quantification. The journal of symbolic logic, vol. 22 (1957), pp. 19–35, 113–129.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
-
- Article
- Export citation
Günter Asser and Karl Schröter. Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Mathematische Nachrichten, vol. 19 no. 1–6 (1958), pp. 73–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
-
- Article
- Export citation
Gisbert Hasenjaeger. Zur Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 175–177.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 176-177
-
- Article
- Export citation
R. Montague and R. L. Vaught. Natural models of set theories. Fundamenta mathematical vol. 47 (1959), pp. 219–242.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
-
- Article
- Export citation
R. Montague and R. L. Vaught. A note on theories with selectors. Fundamenta mathematical vol. 47 (1959), pp. 243–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
-
- Article
- Export citation
Elliott Mendelson. The axiom of Fundierung and the axiom of choice. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 65–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
-
- Article
- Export citation
A. Lévy. The independence of various definitions of finiteness. Fundamenta mathematicae, vol. 46 (1958), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
-
- Article
- Export citation