13629 results in The Journal of Symbolic Logic
Brian McGuinness. Wittgenstein: a life. Young Ludwig 1889–1921. The University of California Press, Berkeley, Los Angeles, and London, 1988, xiv + 322 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1104-1105
- Print publication:
- September 1991
-
- Article
- Export citation
On maximal theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 885-890
- Print publication:
- September 1991
-
- Article
- Export citation
Definable FN bases
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 823-831
- Print publication:
- September 1991
-
- Article
- Export citation
Plongement dense d'un corps ordonné dans sa clôture réelle
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 974-980
- Print publication:
- September 1991
-
- Article
- Export citation
Shafi Goldwasser, Silvio Micali, and Charles Rackoff. The knowledge complexity of interactive proof systems. SIAM journal on computing, vol. 18 (1989), pp. 186–208. - Oded Goldreich, Silvio Micali, and Avi Wigderson. Proofs that release minimum knowledge. Mathematical foundations of computer science 1986, Proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25–29, 1986, edited by J. Gruska, B. Rovan, and J. Wiedermann, Lecture notes in computer science, vol. 233, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1986, pp. 639–650. - Oded Goldreich. Randomness, interactive proofs, and zero-knowledge—a survey. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988, pp. 377–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1092-1094
- Print publication:
- September 1991
-
- Article
- Export citation
Laurence R. Horn. A natural history of negation. The University of Chicago Press, Chicago and London 1989, xxii + 637 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1103-1104
- Print publication:
- September 1991
-
- Article
- Export citation
Binary relational structures having only countably many nonisomorphic substructures
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 876-884
- Print publication:
- September 1991
-
- Article
- Export citation
Andrew Hodges. Alan Turing and the Turing machine. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 3–15. - Stephen C. Kleene. Turing's analysis of computahility, and major applications of it. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 17–54. - Robin Gandy. The confluence of ideas in 1936. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 55–111. - Solomon Feferman. Turing in the land of O(z). The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 113–147. - Martin Davis. Mathematical logic and the origin of modern computers. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988. pp. 149–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1089-1090
- Print publication:
- September 1991
-
- Article
- Export citation
Inductive inference and unsolvability
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 891-900
- Print publication:
- September 1991
-
- Article
- Export citation
C. C. Chang and H. J. Keisler. Model theory. Third edition of XLI 697. Studies in logic and the foundations of mathematics, vol. 73. North-Holland, Amsterdam, New York, etc., 1990, xvi + 650 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1096-1097
- Print publication:
- September 1991
-
- Article
- Export citation
Telis K. Menas. A combinatorial property of pkλ. The journal of symbolic logic, vol. 41 (1976), pp. 225–234. - Donald H. Pelletier. The partition property for certain extendible measures on supercompact cardinals. Proceedings of the American Mathematical Society, vol. 81 (1981), pp. 607–612. - Kenneth Kunen and Donald H. Pelletier. On a combinatorial property of Menas related to the partition property for measures on supercompact cardinals. The journal of symbolic logic, vol. 48 (1983), pp. 475–481. - Julius B. Barbanel. Supercompact cardinals, trees of normal ultrafilters, and the partition property. The journal of symbolic logic, vol. 51 (1986), pp. 701–708.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1098-1100
- Print publication:
- September 1991
-
- Article
- Export citation
M. Magidor. Combinatorial characterization of supercompact cardinals. Proceedings of the American Mathematical Society, vol. 42 (1974), pp. 279–285. - Carlos A. di Prisco and William S. Zwicker. Flipping properties and supercompact cardinals. Fundamenta mathematicae, vol. 109 (1980), pp. 31–36. - Donna M. Carr. Pkλ-generalizations of weak compactness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 31 (1985), pp. 393–401. - Donna M. Carr. The structure of ineffability properties of Pkλ. Acta mathematica Hungarica, vol. 47 (1986), pp. 325–332. - Donna M. Carr. Pkλ partition relations. Fundamenta mathematicae, vol. 128 (1987), pp. 181–195. - Donna M. Carr. A note on the λ-Shelah property. Fundamenta mathematicae, vol. 128, pp. 197–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1097-1098
- Print publication:
- September 1991
-
- Article
- Export citation
The role of parameters in bar rule and bar induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 715-730
- Print publication:
- June 1991
-
- Article
- Export citation
Douglas Bridges and Fred Richman. Varieties of constructive mathematics. London Mathematical Society lecture note series, no. 97. Cambridge University Press, Cambridge etc. 1987, x + 149 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 750-751
- Print publication:
- June 1991
-
- Article
- Export citation
A construction for recursive linear orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-683
- Print publication:
- June 1991
-
- Article
- Export citation
James Gasser. Essai sur la nature et les critères de la preuve. DelVal, Cousset, Fribourg, 1989, xiii + 144 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 757-758
- Print publication:
- June 1991
-
- Article
- Export citation
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 643-660
- Print publication:
- June 1991
-
- Article
- Export citation
L'arithmétique ouverte et ses modèles non-standards
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 700-714
- Print publication:
- June 1991
-
- Article
- Export citation
Poly-separated and ω-stable nilpotent groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-699
- Print publication:
- June 1991
-
- Article
- Export citation
The elementary theory of free pseudo p-adically closed fields of finite corank
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-496
- Print publication:
- June 1991
-
- Article
- Export citation