13629 results in The Journal of Symbolic Logic
Joseph Warren Dauben. Georg Cantor, his mathematics and philosophy of the infinite. Harvard University Press, Cambridge, Mass. and London, 1979, ix + 404 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 456-457
- Print publication:
- June 1982
-
- Article
- Export citation
A. H. Lachlan. A note on Thomason's refined structures for tense logics. Theoria, vol. 40(1974), pp. 117–120. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Ranger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - R. I. Goldblatt and S. K. Thomason. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173. - R. I. Goldblatt. First-order definability in modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 35–40. - J. F. A. K. van Benthem. A note on modal formulae and relational properties. The journal of symbolic logic, vol. 40 (1975), pp. 55–58. - S. K. Thomason. Categories of frames for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 439–442. - R. I. Goldblatt. Metamathematics of modal logic. Part I. Reports on mathematical logic, vol. 6 (1976), pp. 41–77. - R. I. Goldblatt. Metamathematics of modal logic. Part II. Reports on mathematical logic, vol. 7 (1976), pp. 21–52. - J. F. A. K. van Benthem. Modal formulas are either elementary or not Σ⊿-elementary. The journal of symbolic logic, vol. 41 (1976), pp. 436–438. - J. F. A. K. van Benthem. Canonical modal logics and ultrafilter extensions. The journal of symbolic logic, vol. 44 (1979), pp. 1–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 440-445
- Print publication:
- June 1982
-
- Article
- Export citation
Robert W. Quackenbush. Appendix 5. Primality: the influence of Boolean algebras in universal algebra. Therein, pp. 401–416.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, p. 451
- Print publication:
- June 1982
-
- Article
- Export citation
Saharon Shelah. The number of non-isomorphic models of an unstable first-order theory. Israel journal of mathematics, t. 9 (1971), p. 473–487.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 436-438
- Print publication:
- June 1982
-
- Article
- Export citation
Jon Barwise and John Schlipf. An introduction to recursively saturated and resplendent models. The journal of symbolic logic, vol. 41 (1976), pp. 531–536.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, p. 440
- Print publication:
- June 1982
-
- Article
- Export citation
Michael D. Resnik. Frege and the philosophy of mathematics. Cornell University Press, Ithaca and London1980, 244 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-476
- Print publication:
- June 1982
-
- Article
- Export citation
A classification of jump operators
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-358
- Print publication:
- June 1982
-
- Article
- Export citation
Double jumps of minimal degrees over cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-334
- Print publication:
- June 1982
-
- Article
- Export citation
John Gregory. Uncountable models and infinitary elementary extensions. The journal of symbolic logic, vol. 38 (1973), pp. 460–470.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 438-439
- Print publication:
- June 1982
-
- Article
- Export citation
David Harel. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 453-454
- Print publication:
- June 1982
-
- Article
- Export citation
Burton Dreben and Warren D. Goldfarb. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xii + 271 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-453
- Print publication:
- June 1982
-
- Article
- Export citation
P. T. Johnstone. Topos theory. London Mathematical Society monographs, no. 10. Academic Press, London, New York, and San Francisco, 1977, xxiii + 367 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 448-450
- Print publication:
- June 1982
-
- Article
- Export citation
J. P. Ressayre. Models with compactness properties relative to an admissible language. Annals of mathematical logic, vol. 11 no. 1 (1977), pp. 31–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-440
- Print publication:
- June 1982
-
- Article
- Export citation
Dale Gottlieb. Ontological economy: substitutional quantification and mathematics. Clarendon library of logic and philosophy. Oxford University Press, Oxford1980, vii + 166 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 2 / June 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-475
- Print publication:
- June 1982
-
- Article
- Export citation
Solution to the P − W problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 4 / December 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 869-887
- Print publication:
- December 1982
-
- Article
- Export citation
Robert Vaught. Descriptive set theory in Lω,1ω, Cambridge summer school in mathematical logic, held in Cambridge/England, August 1–21, 1971, edited by A.R.D. Mathias and H. Rogers, Lecture notes in mathematics, vol. 337, Springer-Verlag, Berlin, Heidelberg, and New York, 1973, pp. 574–598. - Robert Vaught. Invariant sets in topology and logic. Fundamenta mathematicae, vol. 82 no. 3 (1974), pp. 269–294.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
- Print publication:
- March 1982
-
- Article
- Export citation
Kurt Schütte. Proof theory. Revised English translation by J. N. Crossley of XXV 243. Grundlehren der mathematischen Wissenschaften, no. 225. Springer-Verlag, Berlin, Heidelberg, and New York, 1977, xii + 299 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 218-220
- Print publication:
- March 1982
-
- Article
- Export citation
On homogeneity and definability in the first-order theory of the Turing degrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 8-16
- Print publication:
- March 1982
-
- Article
- Export citation
Completeness, invariance and λ-definability
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-26
- Print publication:
- March 1982
-
- Article
- Export citation
An invariance notion in recursion theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 48-66
- Print publication:
- March 1982
-
- Article
- Export citation