13629 results in The Journal of Symbolic Logic
Projective model completeness
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-123
- Print publication:
- March 1974
-
- Article
- Export citation
S. Ú. Maslov. Prédstavlénié péréčislimyh množéstv lokal'nymi isčisléniámi (Representation of enumerable sets by means of local calculi). Problémy konstruktivnogo napravléniá v matématiké, 4, Sbornik rabot, edited by V. P. Orévkov and N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 93, Izdatél'stvo “Nauka,” Leningrad1967, pp. 43–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
- Print publication:
- March 1974
-
- Article
- Export citation
Logics containing K4. Part I
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-42
- Print publication:
- March 1974
-
- Article
- Export citation
Irving M. Copi. The theory of logical types. Routledge & Kegan Paul, London1971, x + 129 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-177
- Print publication:
- March 1974
-
- Article
- Export citation
Beth definability in infinitary languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 22-26
- Print publication:
- March 1974
-
- Article
- Export citation
Some remarks on changing cofinalities
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 27-30
- Print publication:
- March 1974
-
- Article
- Export citation
William W. Boone. Word problems and recursively enumerable degrees of unsolvability. An emendation. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 389–391. - Donald J. Collins. Truth-table degrees and the Boone groups. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 392–396.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
- Print publication:
- March 1974
-
- Article
- Export citation
Arthur Pap. Lewis on contrary-to-fact conditionals. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 13, Open Court, La Salle, Ill., and Cambridge University Press, London, 1968, pp. 351–376.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
- Print publication:
- March 1974
-
- Article
- Export citation
Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 (for 1965, pub. 1966), pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 (1969), pp. 39–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 186-187
- Print publication:
- March 1974
-
- Article
- Export citation
Marx W. Wartofsky. Conceptual foundations of scientific thought. An introduction to the philosophy of science. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1968, xii + 560 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-170
- Print publication:
- March 1974
-
- Article
- Export citation
Konrad Marc-Wogau. Bemerkungen zu Kants Kritik des ontologischen Gottesbeweises: Danish yearbook of philosophy, vol. 1 (1964), pp. 85–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
- Print publication:
- March 1974
-
- Article
- Export citation
Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 (1968), pp. 126–137, and vol. 12 (1969), pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 (1969), pp. 12–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- March 1974
-
- Article
- Export citation
A new proof that analytic sets are Ramsey
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-165
- Print publication:
- March 1974
-
- Article
- Export citation
Oscar H. Ibarra. Characterizations of some tape and time complexity classes of Turing machines in terms of multihead and auxiliary stack automata. Journal of computer and system sciences, vol. 5 (1971), pp. 88-117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
- Print publication:
- March 1974
-
- Article
- Export citation
Turing machines and the spectra of first-order formulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-150
- Print publication:
- March 1974
-
- Article
- Export citation
J. A. Robinson. Automatic deduction with hyper-resolution. International journal of computer mathematics, vol. 1 no. 3 (1965), pp. 227–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-190
- Print publication:
- March 1974
-
- Article
- Export citation
J. D. Halpern and H. Läuchli. A partition theorem. Transactions of the American Mathematical Society, vol. 124 (1966), pp. 360–367. - J. D. Halpern and A. Lévy. The Boolean prime ideal theorem does not imply the axiom of choice. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 83–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
- Print publication:
- March 1974
-
- Article
- Export citation
Karl Dürr. Lewis and the history of symbolic logic. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 13, Open Court, La Salle, Ill., and Cambridge University Press, London, 1968, pp. 89–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
- Print publication:
- March 1974
-
- Article
- Export citation
C. C. Chang. Omitting types of prenex formulas. The journal of symbolic logic, vol. 32 (1967), pp. 61–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
- Print publication:
- March 1974
-
- Article
- Export citation
Combinator realizability of a constructive Morse set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-234
- Print publication:
- June 1974
-
- Article
- Export citation