McKay C. G.. A note on the Jaśkowski sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 95–96 [Book Review]

Journal of Symbolic Logic 38 (3):520-521 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273058

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Note on The Jaśkowski Sequence.C. G. McKay - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (6):95-96.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
Harrop Ronald. On the recursivity of finite sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 136–140.Hořejš Jiří. Note on definition of recursiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 119–120. [REVIEW]Charles Parsons - 1968 - Journal of Symbolic Logic 33 (1):115-115.
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 57–60. [REVIEW]John Bacon - 1973 - Journal of Symbolic Logic 38 (4):660.
C. E. M. Yates. Arithmetical sets and retracing functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 193–204. [REVIEW]Carl Bredlau - 1975 - Journal of Symbolic Logic 40 (3):453-453.
Kruse Arthur H.. Some notions of random sequence and their set-theoretic foundations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 299–322. [REVIEW]C. P. Schnorr - 1973 - Journal of Symbolic Logic 38 (3):530-531.
T. G. McLaughlin. Some counterexamples in the theory of regressive sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 81–87. [REVIEW]A. B. Manaster - 1969 - Journal of Symbolic Logic 34 (2):296-296.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.
A. N. Prior. The theory of implication. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 1–6. - A. N. Prior. The theory of implication: two corrections. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 381–382. - Bolesław Sobociński. A note on Prior's systems in “The theory of deduction.”Notre Dame journal of formal logic, vol. 5 no. 2 , pp. 139–140. [REVIEW]Alan Ross Anderson - 1966 - Journal of Symbolic Logic 31 (4):665-666.

Analytics

Added to PP
2016-06-30

Downloads
8 (#517,646)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krister Segerberg
Uppsala University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references