13629 results in The Journal of Symbolic Logic
A saturation property of ideals and weakly compact cardinals1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-525
- Print publication:
- September 1986
-
- Article
- Export citation
A simple solution to Friedman's fourth problem
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 778-784
- Print publication:
- September 1986
-
- Article
- Export citation
Leonard Linsky. Oblique contexts. The University of Chicago Press, Chicago and London1983, xxxvii + 175 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 821-822
- Print publication:
- September 1986
-
- Article
- Export citation
Yu. L. Ershov and E. A. Palyutin. Mathematical logic. Revised English translation by Vladimir Shokurov of the preceding. Mir Publishers, Moscow1984, 303 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 829
- Print publication:
- September 1986
-
- Article
- Export citation
On precipitousness of the nonstationary ideal over a supercompact
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 648-662
- Print publication:
- September 1986
-
- Article
- Export citation
Between strong and superstrong
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 547-559
- Print publication:
- September 1986
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 863-864
- Print publication:
- September 1986
-
- Article
- Export citation
G. E. Hughes and M. J. Cresswell. A companion to modal logic. Methuen, London 1984 and New York 1985, xvii + 203 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 824-826
- Print publication:
- September 1986
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Stanford, California, 1985
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 832-862
- Print publication:
- September 1986
-
- Article
- Export citation
Ú. L. Éršov and É. A. Palútin. Matématičéskaá logika (Mathematical logic). “Nauka,” Moscow1979, 320 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 827-829
- Print publication:
- September 1986
-
- Article
- Export citation
Ermanno Bencivenga. Il primo libro di logica. Introduzione ai metodi delta logica contemporanea. Serie di logica matematica. Boringhieri, Turin1984, 228 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 827
- Print publication:
- September 1986
-
- Article
- Export citation
Attention à la marche!
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 570-585
- Print publication:
- September 1986
-
- Article
- Export citation
Large cardinal structures below ℵω
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 591-603
- Print publication:
- September 1986
-
- Article
- Export citation
Abram Aronovich Stolyar. Introduction to elementary mathematical logic. English translation edited by Elliot; Mendelson of Eléméntarnoé vvédénié v matématičéskuú logiku. The MIT Press, Cambridge, Mass., and London, © 1970, pub. 1971, and Dover Publications, New York 1983, vii + 209 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 830-831
- Print publication:
- September 1986
-
- Article
- Export citation
Small decidable sheaves
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 726-731
- Print publication:
- September 1986
-
- Article
- Export citation
À l'ouest d'Éden
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 795-816
- Print publication:
- September 1986
-
- Article
- Export citation
Anna R. Bruss and Albert R. Meyer. On time-space classes and their relation to the theory of real addition. Theoretical computer science, vol. 11 (1980), pp. 59–69. - Leonard Berman. The complexity of logical theories. Theoretical computer science, pp. 71–77. - Hugo Volger. Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first order theories. Theoretical computer science, vol. 23 (1983), pp. 333–337.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 817-818
- Print publication:
- September 1986
-
- Article
- Export citation
Supercompact cardinals, trees of normal ultrafilters, and the partition property1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 701-708
- Print publication:
- September 1986
-
- Article
- Export citation
Dov M. Gabbay. Semantical investigations in Heyting's intuitionistic logic. Synthese library, vol. 148. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, x + 287 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, p. 824
- Print publication:
- September 1986
-
- Article
- Export citation
Stability theory for topological logic, with applications to topological modules1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 3 / September 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-769
- Print publication:
- September 1986
-
- Article
- Export citation