Contents
Reviews
G. Kreisel. Analysis of Cantor-Bendixson theorem by means of the analytic hierarchy.Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 621–626.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
-
- Article
- Export citation
R. L. Goodstein and J. Hooley. On recursive transcendence. Notre Dame journal of formal logic, vol. 1 (1960), pp. 127–137.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
-
- Article
- Export citation
M. Machover. The theory of transfinite recursion. Bulletin of the American Mathematical Society. vol. 67 (1961). pp. 575–578.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
-
- Article
- Export citation
Paul R. Young. A note on pseudo-creative sets and cylinders. Pacific journal of mathematics, vol. 14 (1964), pp. 749–753. - Paul R. Young. On semi-cylinders, splinters, and bounded truth-table reducibility. Transactions of the American Mathematical Society, vol. 115 (1965), pp. 329–339. - Paul R. Young. On pseudo-creative sets, splinters, and bounded-truth-table reducibility. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 25–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
-
- Article
- Export citation
John N. Crossley and Kurt Schütte. Non-uniqueness at ω2 in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 (1966), pp. 95–101. - Peter H. G. Aczel. Paths in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 10 (1967), pp. 8–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
-
- Article
- Export citation
A. I. Mal′cév. Polno numérovannyé množéstva (Complete enumeration of a set). Algébra i logika, Séminar, vol. 2 no. 2 (1963), pp. 4–29. - A. I. Mal′cév. K téorii vyčislimyh séméjstv obéktov (On the theory of computable families of objects). Archiv für mathematische Logik und Grundlagenforschung, vol. 3 no. 4 (1964), pp. 5–31. - A. I. Mal′cév. Pozitwnyé i négatwnyé numéracii (Positive and negative numerations). Doklady Akadémii Nauk, SSSR, vol. 160 (1965), pp. 278–280.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
-
- Article
- Export citation
B. A. Trahténbrot. Složnost algoritmov i vyčíslenij (Spéckurs dlá studéntov NGU)(Complexity of algorithms and computations (Special course for students of the Novosibirsk Government University)). Novosibirskij Gosudarstvénnyj Univérsitét, Novosibirsk1967, 258 pp., mimeographed.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-339
-
- Article
- Export citation
A. V. Gladkij. Nékotoryé algoritmičéskié problémy dlá kontékstno-svobodnyh grammatik (Certain algorithmic problems for context-free grammars). Algébra i logika, Séminar, vol. 4 no. 1 (1965), pp. 3–13. - A. V. Gladkij. Algoritmičéskaá néraspoznavaémost′ suščéstvénnoj néoprédélénnosti kontékstno-svobodnyh ázykov (Algorithmic unsolvability of inherent ambiguity in context-free languages). Algébra i logika, Séminar, vol. 4 no. 4 (1965), pp. 53–63. - O. S. Kulagina. Ob odnom sposobé oprédéléniá grammatičéskih ponátij na bazé téorii množéstv (On a way of defining grammatical notions using set theory). Problémy kibérnétiki, vol. 1 (1958), pp. 203–214. - A. V. Gladku. Konfiguracionnyé haraktéristiki ázykov (Configuration characteristics of languages). Problémy kibérnétiki, vol. 10 (1963), pp. 251–260. - V. D. Lučkin. O rangah konfiguracij kontékstnosvobodnyh ázykov (On the ranks of configurations of context-free languages). Algébra i logika, Séminar, vol. 5 no. 3 (1966), pp. 59–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
-
- Article
- Export citation
A. V. Gladkij. O raspoznavanii zaméščaémosti v rékursivnyh ázykah. Algébra i logika, Séminar, vol. 2 no. 3 (1963), pp. 5–22. - A. V. Gladkii. On the recognition of replaceability in recursive languages. English translation of the above by M. Greendlinger. American Mathematical Society translations, ser. 2 vol. 64 (1967), pp. 81–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
-
- Article
- Export citation
C. R. J. Clapham. An embedding theorem for finitely generated groups. Proceedings of the London Mathematical Society, ser. 3 vol. 17 (1967), pp. 419–430.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
-
- Article
- Export citation
Kenneth Kunen. Implicit definability and infinitary languages. The journal of symbolic logic, vol. 33 (1968), pp. 446–451.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
-
- Article
- Export citation
Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”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. 121–131.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
-
- Article
- Export citation
R. L. Vaught. Denumerable models of complete theories. 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, and Paris, 1961, pp. 303–321. - Lars Svenonius. On minimal models of first-order systems. Theoria (Lund), vol. 26 (1960), pp. 44–52. - Erwin Engeler. Unendliche Formeln in der Modell-theorie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 154–160. - Gebhard Fuhrken. Bemerkung zu einer Arbeit E. Engelers. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 277–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 342-344
-
- Article
- Export citation
R. L. Vaught. Models of complete theories. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 299–313.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
-
- Article
- Export citation
Jens Erik Fenstad. A note on “standard” versus “non-standard” topology. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 (1967), pp. 378–380; also Indagationes mathematicae, vol. 29 (1967), pp. 378–380.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
-
- Article
- Export citation
Carol Karp. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 1–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
-
- Article
- Export citation
John Myhill. Variations on a theme of Bernays. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 274–282.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-346
-
- Article
- Export citation
M. J. Mączyński. Generalized free m-products of m-distributive Boolean algebras with an m-amalgamated subalgebra. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 539–542.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- Article
- Export citation
M. J. Mączyński and T. Traczyk. The m-amalgamation property for m-distributive Boolean algebras. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 57–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
-
- Article
- Export citation