13629 results in The Journal of Symbolic Logic
On the strength of nonstandard analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-386
- Print publication:
- June 1986
-
- Article
- Export citation
Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 (1982), pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 (1982), pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 (1984), pp. 818–829.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-479
- Print publication:
- June 1986
-
- Article
- Export citation
Finest partitions for ultrafilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-332
- Print publication:
- June 1986
-
- Article
- Export citation
Kenneth Kunen. Set theory. An introduction to independence proofs. Studies in logic and the foundations of mathematics, vol. 102. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xvi + 313 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 462-464
- Print publication:
- June 1986
-
- Article
- Export citation
Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-301
- Print publication:
- June 1986
-
- Article
- Export citation
Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1984, xiv + 482 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 464-465
- Print publication:
- June 1986
-
- Article
- Export citation
Natural deduction based set theories: a new resolution of the old paradoxes
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-411
- Print publication:
- June 1986
-
- Article
- Export citation
An interpolation theorem in many-valued logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 448-452
- Print publication:
- June 1986
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Chicago, 1985
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 507-510
- Print publication:
- June 1986
-
- Article
- Export citation
On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-322
- Print publication:
- June 1986
-
- Article
- Export citation
On the relation between choice and comprehension principles in second order arithmetic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-373
- Print publication:
- June 1986
-
- Article
- Export citation
Judson Chambers Webb. Mechanism, mentalism, and metamathematics. An essay on finitism. Synthese library, vol. 137. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xiii + 277 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-476
- Print publication:
- June 1986
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
- Print publication:
- June 1986
-
- Article
- Export citation
Maximal chains in the fundamental order
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-326
- Print publication:
- June 1986
-
- Article
- Export citation
William Kneale and Martha Kneale. The development of logic. Corrected paperback edition of XXVII 213. Clarendon Press, Oxford University Press, Oxford and New York 1984, viii + 783 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 476
- Print publication:
- June 1986
-
- Article
- Export citation
William S. Hatcher. The logical foundations of mathematics. Foundations and philosophy of science and technology series. Pergamon Press, Oxford etc. 1982, x + 320 pp. - William S. Hatcher. Foundations of mathematics. W. B. Saunders Company, Philadelphia, London, and Toronto, 1968, xiii + 327 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-470
- Print publication:
- June 1986
-
- Article
- Export citation
Jon Barwise and John Perry. Situations and attitudes. Bradford books. The MIT Press, Cambridge, Mass., and London, 1983, xxii + 352 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-472
- Print publication:
- June 1986
-
- Article
- Export citation
Anand Pillay. An introduction to stability theory. Oxford logic guides, no. 8. Clarendon Press, Oxford University Press, Oxford and New York 1983, xi + 146 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 465-467
- Print publication:
- June 1986
-
- Article
- Export citation
The inclusion-exclusion principle for finitely many isolated sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 435-447
- Print publication:
- June 1986
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Sydney, 1984
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 2 / June 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-506
- Print publication:
- June 1986
-
- Article
- Export citation