16 results
Recursively saturated nonstandard models of arithmetic; addendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 493-494
- Print publication:
- September 1982
-
- Article
- Export citation
George Boolos. The unprovability of consistency. An essay in modal logic. Cambridge University Press, Cambridge etc. 1979, viii + 184 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 871-873
- Print publication:
- December 1981
-
- Article
- Export citation
Calculating self-referential statements: Guaspari sentences of the first kind
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-344
- Print publication:
- June 1981
-
- Article
- Export citation
Recursively saturated nonstandard models of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-286
- Print publication:
- June 1981
-
- Article
- Export citation
David Hilbert. Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 1–34. - Donald A. Martin. Hilbert's first problem: the continuum hypothesis. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 81–92. - G. Kreisel. What have we learnt from Hilbert's second problem? A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 93–130. - Martin Davis, Yuri Matijasevic̆, and Julia Robinson. Hilbert's tenth problem. Diophantine equations: positive aspects of a negative solution. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 323–378.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-119
- Print publication:
- March 1979
-
- Article
- Export citation
On axiomatizing fragments
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 4 / December 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 530-544
- Print publication:
- December 1977
-
- Article
- Export citation
A note on the number of zeros of polynomials and exponential polynomials
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-106
- Print publication:
- March 1977
-
- Article
- Export citation
A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- December 1975
-
- Article
- Export citation
Andrew Adler. Extensions of non-standard models of number theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 289–290. - Haim Gaifman. A note on models and submodels of arithmetic. Conference in mathematical logic—London '70, edited by Wilfrid Hodges, Lecture notes in mathematics, no. 255, Springer-Verlag, Berlin, Heidelberg, and New York, 1972, pp. 128–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
- Print publication:
- June 1975
-
- Article
- Export citation
C. C. Chang and Yiannis N. Moschovakis. The Suslin-Kleene theorem for Vκ with cofinality (κ) = ω. Pacific journal of mathematics, vol. 35 (1970), pp. 565–569.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 245
- Print publication:
- June 1975
-
- Article
- Export citation
Paul C. Eklof and Edward R. Fisher. The elementary theory of Abelian groups. Annals of mathematical logic, vol. 4 no. 2 (1972), pp. 115–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 603-604
- Print publication:
- September 1974
-
- Article
- Export citation
Ú. L. Éršov. I. A. Lavrov, A. D. Tajmanov, and M. A. Tajclin. Eléméntarnyé téorii. Uspéhi matématičéskih nauk, vol. 20 no. 4 (1965), pp. 37–108. - Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, and M. A. Taitslin. Elementary theories. English translation of the preceding by P. M. Cohn. Russian mathematical surveys, vol. 20 no. 4 (1965), pp. 35–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 603
- Print publication:
- September 1974
-
- Article
- Export citation
Kurt Hauschild. Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke spezieller Gestalt. Fundamenta mathematicae, vol. 72 no. 3 (1971), pp. 245–253.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
- Print publication:
- March 1973
-
- Article
- Export citation
Elementary intuitionistic theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-134
- Print publication:
- March 1973
-
- Article
- Export citation
Andrzej Grzegorczyk. An unfinitizability proof by means of restricted reduced power. Fundamenta mathematicae, vol. 73 no. 1 (1971), pp. 37–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-161
- Print publication:
- March 1973
-
- Article
- Export citation
Michael O. Rabin. Non-standard models and independence of the induction axiom. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 287–299; also second edition, Magnes Press, Jerusalem 1966, pp. 287–299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 159
- Print publication:
- March 1973
-
- Article
- Export citation