Last updated 10th July 2024: Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website https://www.cambridge.org/news-and-insights/technical-incident

Skip to main content Accessibility help

Home
Journals
The Journal of Symbolic Logic
Volume 33 Issue 4

The Journal of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Journal home
Journal information
Accepted manuscripts
FirstView articles
Latest issue
All issues
Most cited
Most read
Open access

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 33 - Issue 4 - January 1969

Reviews

P. Lorenzen. Methodical thinking. Ratio (Oxford), Bd. 7 (1965), S. 35–60.

R. L. Goodstein. A decidable fragment of recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 199–201.

R. L. Goodstein and R. D. Lee. A decidable class of equations in recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 235–239.

A. Nerode. Non-linear combinatorial functions of isols. Mathematische Zeitschrift, vol. 86 no. 5 (1965), pp. 410–424.

Anil Nerode. Diophantine correct non-standard models in the isols. Annals of mathematics, vol. 84 (1966), pp. 421–432.

John Myhill. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104.

A. Nerode. Combinatorial series and recursive equivalence types. Fundamenta mathematicae, vol. 58 (1966), pp. 113–141.

K. I. Appel and T. G. McLaughlin. On properties of regressive sets. Transactions of the American Mathematical Society, vol. 115 (1965), pp. 83–93.

K. I. Appel. No recursively enumerable set is the union of finitely many immune retraceable sets. Proceedings of the American Mathematical Society, vol. 18 (1967). pp. 279–281.

K. I. Appel. There exist two regressive sets whose intersection is not regressive. The journal of symbolic logic, vol. 32 (1967), pp. 322–324.

G. Kreisel and Gerald E. Sacks. Metarecursive sets. The journal of symbolic logic, vol. 30 (1965), pp. 318–338.

J. R. Shoenfield. Degrees of models. The journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 233–237.

Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 (for 1962, pub. 1963), pp. 55–57.

L. A. Bokut′. O gruppah Novikova (On the Novikov groups). Algébra i logika, Séminar, vol. 6 no. 1 (1967), pp. 25–38.

A. Horn. On α-homomorphic images of α-rings of sels. Fundamenta mathematicae, vol. 51 (1962), pp. 259–266.

L. J. Heider. Prime dual ideals in Boolean algebras. Canadian journal of mathematics, vol. 11 (1959), pp. 397–408.

PH. Dwinger. Remarks on the field representations of Boolean algebras. Koninklijke Nederlandse Akademie van Wettenschappen, Proceedings, series A, vol. 63 (1960), pp. 213–217; also Indagationes mathematicae, vol. 22 (1960), pp. 213–217.

Ph. Dwinger. On the completeness of the quotient algebras of a complete Boolean algebra I. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 61 (1958), pp. 448–456; also Indagationes mathematicae, vol. 20 (1958), pp. 448–456.

Ph. Dwinger. A note on the completeness of factor algebras of α-complete Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 62 (1959), pp. 376–383; also Indagationes mathematicae, vol. 21 (1959), pp. 376–383.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 33 - Issue 4 - January 1969

Reviews