13629 results in The Journal of Symbolic Logic
Krister Segerberg. Classical prepositional operators. An exercise in the foundations of logic. Oxford logic guides, no. 5. Clarendon Press, Oxford University Press, Oxford and New York1982, x + 152 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 993-994
- Print publication:
- September 1984
-
- Article
- Export citation
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 851-866
- Print publication:
- September 1984
-
- Article
- Export citation
Some undecidability results in strong algebraic languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 951-954
- Print publication:
- September 1984
-
- Article
- Export citation
JSL volume 49 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1984
-
- Article
-
- You have access
- Export citation
On modal systems having arithmetical interpretations
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 935-942
- Print publication:
- September 1984
-
- Article
- Export citation
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 971-975
- Print publication:
- September 1984
-
- Article
- Export citation
Complexity of κ-ultrafilters and inner models with measurable cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 833-841
- Print publication:
- September 1984
-
- Article
- Export citation
Charles Jarrett. The logical structure of Spinoza's Ethics, Part I. Synthese, vol. 37(1978), pp. 15–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 996-997
- Print publication:
- September 1984
-
- Article
- Export citation
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 968-971
- Print publication:
- September 1984
-
- Article
- Export citation
Inconsistent models for relevant arithmetics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 917-929
- Print publication:
- September 1984
-
- Article
- Export citation
Joel I. Friedman. Was Spinoza fooled by the ontological argument?Philosophia (Ramat Gan), vol. 11 no. 3-4 (1982), pp. 307–344.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 997-998
- Print publication:
- September 1984
-
- Article
- Export citation
Heine-Borel does not imply the Fan Theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-519
- Print publication:
- June 1984
-
- Article
- Export citation
A. Dodd and R. Jensen. The core model. Annals of mathematical logic, vol. 20 (1981), pp. 43–75. - Tony Dodd and Ronald Jensen. The covering lemma for K. Annals of mathematical logic, vol. 22 (1982), pp. 1–30. - A. J. Dodd and R. B. Jensen. The covering lemma for L[U]. Annals of mathematical logic, pp. 127–135. - D. Donder, R. B. Jensen and B. J. Koppelberg. Some applications of the core model. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by R. B. Jensen and A. Prestel, Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 55–97. - A. Dodd. The core model. London Mathematical Society lecture note series, no. 61. Cambridge University Press, Cambridge etc. 1982, xxxviii + 229 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-662
- Print publication:
- June 1984
-
- Article
- Export citation
A note on some intermediate propositional calculi
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-333
- Print publication:
- June 1984
-
- Article
- Export citation
Banach games
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-375
- Print publication:
- June 1984
-
- Article
- Export citation
M. Gitik. All uncountable cardinals can be singular. Israel journal of mathematics, vol. 35 (1980), pp. 61–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-663
- Print publication:
- June 1984
-
- Article
- Export citation
The definability of E(α)
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 437-442
- Print publication:
- June 1984
-
- Article
- Export citation
Expressive power in first order topology
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-487
- Print publication:
- June 1984
-
- Article
- Export citation
JSL volume 49 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1984
-
- Article
-
- You have access
- Export citation
Orthomodularity is not elementary1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-404
- Print publication:
- June 1984
-
- Article
- Export citation