13629 results in The Journal of Symbolic Logic
A complete, decidable theory with two decidable models1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 307-312
- Print publication:
- September 1979
-
- Article
- Export citation
Notes on the stability of separably closed fields1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-416
- Print publication:
- September 1979
-
- Article
- Export citation
A transfer principle in harmonic analysis1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-440
- Print publication:
- September 1979
-
- Article
- Export citation
Σ1-separation
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-382
- Print publication:
- September 1979
-
- Article
- Export citation
Recursion theory on orderings. I. A model theoretic setting1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-402
- Print publication:
- September 1979
-
- Article
- Export citation
JSL volume 44 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1979
-
- Article
-
- You have access
- Export citation
Refinements of Vaught's normal from theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-306
- Print publication:
- September 1979
-
- Article
- Export citation
A combinatorial property of the homomorphism relation between countable order types
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-411
- Print publication:
- September 1979
-
- Article
- Export citation
On carnap and popper probability functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 369-373
- Print publication:
- September 1979
-
- Article
- Export citation
The Kleene symposium and the summer meeting of the Association for Symbolic Logic, Madison 1978
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 3 / September 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-480
- Print publication:
- September 1979
-
- Article
- Export citation
Reduction to first degree in quantificational S5
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-214
- Print publication:
- June 1979
-
- Article
- Export citation
A. S. Troelstra. Choice sequences. A chapter of intuitionistic mathematics. Oxford logic guides. Clarendon Press, Oxford1977, ix + 170 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
- Print publication:
- June 1979
-
- Article
- Export citation
Another algorithm for bracket abstraction
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-270
- Print publication:
- June 1979
-
- Article
- Export citation
Albert E. Blumberg. Logic: A first course. Alfred A. Knopf, New York1976, xiv + 462 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, p. 281
- Print publication:
- June 1979
-
- Article
- Export citation
Jane Bridge. Beginning model theory. The completeness theorem and some consequences. Oxford logic guides. Clarendon Press, Oxford1977, viii + 143 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, p. 283
- Print publication:
- June 1979
-
- Article
- Export citation
David K. Lewis. Counterfactuals. Harvard University Press, Cambridge, Mass., 1973, x + 150 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-281
- Print publication:
- June 1979
-
- Article
- Export citation
Failures of the interpolation lemma in quantified modal logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 201-206
- Print publication:
- June 1979
-
- Article
- Export citation
Michael Dummett. Elements of intuitionism. With the assistance of Roberto Minio. Oxford logic guides. Clarendon Press, Oxford1977, xii + 467 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
- Print publication:
- June 1979
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
- Print publication:
- June 1979
-
- Article
- Export citation
L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 13–101, 565–569. - L. E. J. Brouwer. Die möglichen Mächtigkeiten. A reprint of 1554, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 102-104, 569. - L. E. J. Brouwer. On the foundations of mathematics. Partial English translation of 1553, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 105–106, 569. - L. E. J. Brouwer. The unreliability of the logical principles. English translation of 1552, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 107–111, 569–570. - L. E. J. Brouwer. From the review of: G. Mannoury, Methodologisches und Philosophisches zur Elementar-Mathematik (Haarlem 1909). Partial English translation of 1555. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 121–122. - L. E. J. Brouwer. Intuitionism and formalism. A reprint of 1557, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 123–138, 570–571. - L. E. J. Brouwer. Review of Schoenflies's Entwickelung der Mengenlehre und ihrer Anwendungen (1305). A reprint of 1558, with added notes by the editor. edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 139–144, 571–572. - L. E. J. Brouwer. Addenda and corrigenda to ‘On the foundations of mathematics.’Entwickelung der Mengenlehre und ihrer Anwendungen English translation of 1559, with added notes by the editor. edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 145–149, 572.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 2 / June 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-275
- Print publication:
- June 1979
-
- Article
- Export citation