13629 results in The Journal of Symbolic Logic
The model of set theory generated by countably many generic reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 732-752
- Print publication:
- December 1981
-
- Article
- Export citation
Index of reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 914-918
- Print publication:
- December 1981
-
- Article
- Export citation
The upper semilattice of degrees ≤ 0′ is complemented
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-713
- Print publication:
- December 1981
-
- Article
- Export citation
Forcing with Δ perfect trees and minimal Δ-degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 803-816
- Print publication:
- December 1981
-
- Article
- Export citation
Jack Silver. On the singular cardinals problem. Proceedings of the International Congress of Mathematicians, Vancouver 1974, vol. 1, Canadian Mathematical Congress, Montreal1975, pp. 265–268. - Fred Galvin and András Hajnal. Inequalities for cardinal powers. Annals of mathematics, ser. 2 vol. 101 (1975), pp. 491–498. - Keith J. Devlin and R. B. Jensen. Marginalia to a theorem of Silver. ISILC logic conference, Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, edited by G. H. Müller, A. Obsrschelp, and K. Potthoff, Lecture notes in mathematics, vol. 499, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 115–142. - Menachem Maoidor. On the singular cardinals problem I. Israel journal of mathematics, vol. 28 (1977), pp. 1–31. - Menachem Magidor. On the singular cardinals problem II. Annals of mathematics, ser. 2 vol. 106 (1977), pp. 517–547.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 864-866
- Print publication:
- December 1981
-
- Article
- Export citation
Partial orderings of fixed finite dimension: Model companions and density1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 789-802
- Print publication:
- December 1981
-
- Article
- Export citation
Saharon Shelah. Categoricity of uncountable theories. Proceedings of the Tarski Symposium, An international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday, edited by Leon Henkin et al., Proceedings of symposia in pure mathematics, vol. 25, American Mathematical Society, Providence, R.I., 1974, pp. 187–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 866-867
- Print publication:
- December 1981
-
- Article
- Export citation
Jon Barwise, Matt Kaufmann, and Michael Makkai. Stationary logic. Annals of mathematical logic, vol. 13 no. 2 (1978), pp. 171–224.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 867-868
- Print publication:
- December 1981
-
- Article
- Export citation
Upper bounds on locally countable admissible initial segments of a Turing degree hierarchy1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 753-760
- Print publication:
- December 1981
-
- Article
- Export citation
JSL volume 46 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
- Print publication:
- December 1981
-
- Article
-
- You have access
- Export citation
D. M. R. Leivant. Absoluteness of intuitionistic logic. Mathematical Centre tracts, no. 73. Mathematisch Centrum, Amsterdam1979, ix + 137 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-874
- Print publication:
- December 1981
-
- Article
- Export citation
Leonard S. Bobrow and Michael A. Arbib. Discrete mathematics: applied algebra for computer and information science. W. B. Saunders Company, Philadelphia, London, and Toronto, 1974, xiii + 719 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 878-880
- Print publication:
- December 1981
-
- Article
- Export citation
AD and the supercompactness of ℵ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 822-842
- Print publication:
- December 1981
-
- Article
- Export citation
Effective aspects of profinite groups1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 851-863
- Print publication:
- December 1981
-
- Article
- Export citation
Equivalence between semantics for intuitionism. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 773-780
- Print publication:
- December 1981
-
- Article
- Export citation
The equivalence of a generalized Martin's axiom to a combinatorial principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 817-821
- Print publication:
- December 1981
-
- Article
- Export citation
Degrees of Structures1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 723-731
- Print publication:
- December 1981
-
- Article
- Export citation
Translations from the philosophical writings of Gottlob Frege. Edited by Peter Geach and Max Black. Third edition, with an index by E. D. Klemke. Basil Blackwell, Oxford, and Rowman & Littlefield, Totowa, N.J., 1980, x + 228 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 870-871
- Print publication:
- December 1981
-
- Article
- Export citation
Degrees joining to 0′
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-722
- Print publication:
- December 1981
-
- Article
- Export citation
John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 (1975), pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 (1977), pp. 1–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 868-870
- Print publication:
- December 1981
-
- Article
- Export citation