13629 results in The Journal of Symbolic Logic
Some relations between classical and constructive mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-246
- Print publication:
- June 1978
-
- Article
- Export citation
Nowhere simple sets and the lattice of recursively enumerable sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-330
- Print publication:
- June 1978
-
- Article
- Export citation
Annual meeting of the Association for Symbolic Logic, Saint Louis, 1977
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-372
- Print publication:
- June 1978
-
- Article
- Export citation
Toward model theory through recursive saturation1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-206
- Print publication:
- June 1978
-
- Article
- Export citation
The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-259
- Print publication:
- June 1978
-
- Article
- Export citation
Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. 32–39. - Jaakko Hintikka and Veikko Rantala. Systematizing definability theory. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. 40–62. - Herman Ruge Jervell. Conservative endextensions and the quantifier ‘there exist uncountably many.’Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. 63–80. - Per Martin-Löf. About models for intuitionistic type theories and the notion of definitional equality. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. 81–109. - Henrik Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. 110–143. - Arto Salomaa. On some decidability problems concerning developmental languages. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. 144–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-376
- Print publication:
- June 1978
-
- Article
- Export citation
Alan Rose. Computer logic. Wiley-Interscience, John Wiley & Sons Ltd., London, New York, Sydney, and Toronto, 1971, xii + 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
- Print publication:
- June 1978
-
- Article
- Export citation
Simple and hyperhypersimple vector spaces1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-269
- Print publication:
- June 1978
-
- Article
- Export citation
Ideal models and some not so ideal problems in the model theory of L(Q)
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-321
- Print publication:
- June 1978
-
- Article
- Export citation
An inelastic model with indiscernibles
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-334
- Print publication:
- June 1978
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1976
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-364
- Print publication:
- June 1978
-
- Article
- Export citation
Projective algebra and the calculus of relations1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-64
- Print publication:
- March 1978
-
- Article
- Export citation
Degrees of sensible lambda theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-55
- Print publication:
- March 1978
-
- Article
- Export citation
Nicholas Rescher. Plausible reasoning. An introduction to the theory and practice of plausibilistic inference. Van Gorcum, Assen and Amsterdam1976, and Humanities Press, Atlantic Highlands, N.J., 1977, xiii + 124 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
- Print publication:
- March 1978
-
- Article
- Export citation
Separation principles and the axiom of determinateness1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-81
- Print publication:
- March 1978
-
- Article
- Export citation
First steps in intuitionistic model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 3-12
- Print publication:
- March 1978
-
- Article
- Export citation
Helena Rasiowa. Introduction to modern mathematics. English translation of Wstęp do matematyki współczesnej by Olgierd Wojtasiewicz. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1973, xii + 339 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-154
- Print publication:
- March 1978
-
- Article
- Export citation
Paul Bernays. Probleme der theoretischen Logik. Neudruck von 2877. Ebd., S. 1–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-153
- Print publication:
- March 1978
-
- Article
- Export citation
Relativized realizability in intuitionistic arithmetic of all finite types
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 23-44
- Print publication:
- March 1978
-
- Article
- Export citation
On the inconsistency of systems similar to
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-2
- Print publication:
- March 1978
-
- Article
- Export citation