13629 results in The Journal of Symbolic Logic
Edward N. Zalta. Abstract objects. An introduction to axiomatic metaphysics, Synthese library, vol. 160. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, xiii + 193 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-248
- Print publication:
- March 1986
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
- Print publication:
- March 1986
-
- Article
- Export citation
Axioms of symmetry: Throwing darts at the real number line
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-200
- Print publication:
- March 1986
-
- Article
- Export citation
0# and some forcing principles
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 1 / March 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-46
- Print publication:
- March 1986
-
- Article
- Export citation
Andrew Hodges. Alan Turing: the enigma. Burnett Books, London, and Simon and Schuster, New York, 1983, ix + 587 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1065-1067
- Print publication:
- December 1985
-
- Article
- Export citation
Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 (1983), pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 (1980), pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 (1978), pp. 92–112; Corrigendum, vol. 44 (1979), pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 (1978), vol. 46 (1981), pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 20–30. - Chantal Berline. Elimination of quantifiers for non semi-simple rings of characteristic p. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 10–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1079-1080
- Print publication:
- December 1985
-
- Article
- Export citation
On minimal pairs of enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 983-1001
- Print publication:
- December 1985
-
- Article
- Export citation
Index of Reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1142-1150
- Print publication:
- December 1985
-
- Article
- Export citation
JSL volume 50 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
- Print publication:
- December 1985
-
- Article
-
- You have access
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1103-1141
- Print publication:
- December 1985
-
- Article
- Export citation
Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 927-935
- Print publication:
- December 1985
-
- Article
- Export citation
A note on nonmultidimensional superstable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1020-1024
- Print publication:
- December 1985
-
- Article
- Export citation
Annual meeting of the Association for Symbolic Logic, Anaheim, 1985
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1094-1102
- Print publication:
- December 1985
-
- Article
- Export citation
The completeness of a predicate-functor logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 903-926
- Print publication:
- December 1985
-
- Article
- Export citation
Polynomial rings and weak second-order logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 953-972
- Print publication:
- December 1985
-
- Article
- Export citation
Angus Macintyre. Ramsey quantifiers in arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the role of Ramsey quantifiers in first order arithmetic. The journal of symbolic logic, vol. 47 (1982), pp. 423–435. - Carl Morgenstern. On generalized quantifiers in arithmetic. The journal of symbolic logic, vol. 47 (1982), pp. 187–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1078-1079
- Print publication:
- December 1985
-
- Article
- Export citation
C. Berline and G. Cherlin. QE rings in characteristic p. Logic year 1979–80, The University of Connecticut, USA, edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture notes in mathematics, vol. 859, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–31. - C. Berline and G. Cherlin. QE nilrings of prime characteristic. Bulletin de la Société Mathématique de Belgique, ser. B vol. 33 (1981), pp. 3–17. - Chantal Berline and Gregory Cherlin. QE rings in characteristic pn. The journal of symbolic logic, vol. 48 (1983), pp. 140–162. - D. Saracino and C. Wood. QE commutative nilrings. The journal of symbolic logic, vol. 49 (1984), pp. 644–651.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1080-1081
- Print publication:
- December 1985
-
- Article
- Export citation
Why some people are excited by Vaught's conjecture
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 973-982
- Print publication:
- December 1985
-
- Article
- Export citation
Robert L. Martin and Peter W. Woodruff. On representing ‘true-in-L' in L. Philosophia (Ramat-Gan), vol. 5 no. 3 (1975), pp. 213–217. (Reprinted in Language in focus: foundation, methods and systems, Essays in memory of Yehoshua Bar-Hillel, edited by Asa Kasher, Boston studies in the philosophy of science, vol. 43, Synthese library, vol. 89, D. Reidel Publishing Company, Dordrecht and Boston 1976, pp. 113–117.) - Saul Kripke. Outline of a theory of truth. The journal of philosophy, vol. 72 (1975), pp. 690–716. - Anil Gupta. Truth and paradox. Journal of philosophical logic, vol. 11 (1982), pp. 1–60. - Hans G. Herzberger. Notes on naive semantics. Journal of philosophical logic, vol. 11 (1982), pp. 61–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1068-1071
- Print publication:
- December 1985
-
- Article
- Export citation
Epistemic set theory is a conservative extension of intuitionistic set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 895-902
- Print publication:
- December 1985
-
- Article
- Export citation