13629 results in The Journal of Symbolic Logic
The continuum hypothesis in intuitionism
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-136
- Print publication:
- March 1981
-
- Article
- Export citation
Some initial segments of the Rudin-Keisler ordering
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-157
- Print publication:
- March 1981
-
- Article
- Export citation
A. H. Lightstone and Abraham Robinson. Nonarchimedean fields and asymptotic expansions. North-Holland mathematical library, vol. 13. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, x + 204 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
- Print publication:
- March 1981
-
- Article
- Export citation
On the interpolation theorem for the logic of constant domains
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1981
-
- Article
- Export citation
Robert S. Tragesser. Phenomenology and logic. Cornell University Press, Ithaca and London1977, 138 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
- Print publication:
- March 1981
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Santiago, Chile, 1978
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-190
- Print publication:
- March 1981
-
- Article
- Export citation
Sous-groupes définissables d'un groupe stable
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-146
- Print publication:
- March 1981
-
- Article
- Export citation
Klaus Heidler, Hans Hermes, and Friedrich-K. Mahn. Rekursive Funktionen. Bibliographisches Institut-Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1977, vii + 236 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- March 1981
-
- Article
- Export citation
Hyper-torre isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-5
- Print publication:
- March 1981
-
- Article
- Export citation
On P-points over a measurable cardinal
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-66
- Print publication:
- March 1981
-
- Article
- Export citation
F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 3–14. - Orville Keane. Abstract Horn theories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 15–50. - Hugo Volger. Completeness theorem for logical categories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 51–86. - Hugo Volger. Logical categories, semantical categories and topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–100. - G. C. Wraith. Lectures on elementary topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 114–206. - Gerhard Osius. Logical and set theoretical tools in elementary topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 297–346. - Gerhard Osius. A note on Kripke–Joyal semantics for the internal language of topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 349–354.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-161
- Print publication:
- March 1981
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
- Print publication:
- March 1981
-
- Article
- Export citation
J. L. Bell. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford1977, xviii + 126 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
- Print publication:
- March 1981
-
- Article
- Export citation
Ian Hacking. Why does language matter to philosophy?Cambridge University Press, Cambridge etc. 1975, vii + 200 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
- Print publication:
- March 1981
-
- Article
- Export citation
D. J. Shoesmith and T. J. Smiley. Multiple-conclusion logic. Cambridge University Press, Cambridge etc. 1978, xiii + 396 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-163
- Print publication:
- March 1981
-
- Article
- Export citation
Decidability and finite axiomatizability of theories of ℵ0-categorical partially ordered sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-120
- Print publication:
- March 1981
-
- Article
- Export citation
Eike-Henner W. Kluge. Introduction. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. xi–xlii. - Gottlob Frege. Letter from G. Frege to Heinrich Liebmann. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 3–5. (English translation of pp. 404–406 of Gottlob Frege, Kleine Schriften, edited by Ignacio Angelelli, Georg Olms Verlagsbuchhandlung, Hildesheim 1967. Cf. VII 92.) - Gottlob Frege and David Hilbert. Correspondence leading to “On the foundations of geometry,” On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 6–21. (English translation of pp. 407-418 of the same.) - Gottlob Frege. On the foundations of geometry. English translation of 4916.1. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 22–37. - A. Korselt. On the foundations of geometry. English translation of 913. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 38–48. - Gottlob Frege. On the foundations of geometry. English translation of 4918. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 49–112. - J. Thomae. Thoughtless thinkers: A holiday chat. English translation of 1521. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 115–120. - Gottlob Frege. Reply to Mr. Thomae's holiday chat. English translation of 4919. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 121–127. - J. Thomae. Explanation. English translation of 1522. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 128–131. - Gottlob Frege. Renewed proof of the impossibility of Thomae's formal arithmetic and Concluding remarks. English translation of 4920. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 132–138. - Gottlob Frege. On formal theories of arithmetic. English translation of 496. On the foundations of geometry and formal theories of arithmetic, by Gottlob Frege, translated and with an introduction by Eike-Henner W. Kluge, Yale University Press, New Haven and London1971, pp. 141–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-179
- Print publication:
- March 1981
-
- Article
- Export citation
The κ-closed unbounded filter and supercpmpact cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-40
- Print publication:
- March 1981
-
- Article
- Export citation
The consistency of system Q
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-76
- Print publication:
- March 1981
-
- Article
- Export citation
Locally countable models of Σ1-separation
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-100
- Print publication:
- March 1981
-
- Article
- Export citation