13629 results in The Journal of Symbolic Logic
Church's thesis, continuity, and set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-643
- Print publication:
- June 1984
-
- Article
- Export citation
On partitioning the infinite subsets of large cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-541
- Print publication:
- June 1984
-
- Article
- Export citation
John Gregory. Higher Souslin trees and the generalized continuum hypothesis. The journal of symbolic logic, vol. 41 (1976), pp. 663–671. - Richard Laver and Saharon Shelah. The ℵ2-Souslin hypothesis. Transactions of the American Mathematical Society, vol. 264(1981), pp. 411–417. - S. Shelah and L. Stanley. S-forcing, I. A “black-box” theorem for morasses, with applications to super-Souslin trees. Israel journal of mathematics, vol. 43 (1982), pp. 185–224. - S. Shelah and L. Stanley. Generalized Martin's axiom and Souslin's hypothesis for higher cardinals. Israel journal of mathematics, vol. 43 pp. 225–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-665
- Print publication:
- June 1984
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 711-712
- Print publication:
- June 1984
-
- Article
- Export citation
An incomplete decidable modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-527
- Print publication:
- June 1984
-
- Article
- Export citation
Leo Harrington. Recursively presentable prime models. The journal of symbolic logic, vol. 39 (1974), pp. 305–309. - Terrences. Millar. Foundations of recursive model theory. Annals of mathematical logic, vol. 13 (1978), pp. 45–72. - Terrence S. Millar. A complete, decidable theory with two decidable models. The journal of symbolic logic, vol. 44 (1979), pp. 307–312.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 671-672
- Print publication:
- June 1984
-
- Article
- Export citation
Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ2 sets are dense
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-513
- Print publication:
- June 1984
-
- Article
- Export citation
There are not exactly five objects
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 467-469
- Print publication:
- June 1984
-
- Article
- Export citation
Two theorems on degrees of models of true arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 425-436
- Print publication:
- June 1984
-
- Article
- Export citation
Relevant entailment—semantics and formal systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-342
- Print publication:
- June 1984
-
- Article
- Export citation
A recursion theoretic analysis of the clopen Ramsey theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-400
- Print publication:
- June 1984
-
- Article
- Export citation
Gregory H. Moore. Zermelo's axiom of choice. Its origins, development, and influence. Studies in the history of mathematics and physical sciences, vol. 8. Springer-Verlag, New York, Heidelberg, and Berlin, 1982, xiv + 410 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-660
- Print publication:
- June 1984
-
- Article
- Export citation
Models of the alternative set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 570-585
- Print publication:
- June 1984
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic Florence, Italy 1982
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-710
- Print publication:
- June 1984
-
- Article
- Export citation
Terence Parsons. Nonexistent objects. Yale University Press, New Haven and London1980, xiii + 258 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-655
- Print publication:
- June 1984
-
- Article
- Export citation
Expansions of models of ω-stable theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-477
- Print publication:
- June 1984
-
- Article
- Export citation
Michel Parigot. Théories d'arbres. The journal of symbolic logic, vol. 47 no. 4 (for 1982, pub. 1983), pp. 841–853.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, p. 672
- Print publication:
- June 1984
-
- Article
- Export citation
An extension of the nondiamond theorem in classical and α-recursion theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-607
- Print publication:
- June 1984
-
- Article
- Export citation
Per Martin-Löf. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by H. E. Rose and J. C. Shepherdson, Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 311-313
- Print publication:
- March 1984
-
- Article
- Export citation
Michael Morley. The number of countable models. The journal of symbolic logic, vol. 35 (1970), pp. 14–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-315
- Print publication:
- March 1984
-
- Article
- Export citation