13629 results in The Journal of Symbolic Logic
Spector forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 542-554
- Print publication:
- June 1984
-
- Article
- Export citation
Arithmetic and the theory of types
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 621-624
- Print publication:
- June 1984
-
- Article
- Export citation
Jerome Malitz. Introduction to mathematical logic. Set theory, computable functions, model theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xii + 198 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-673
- Print publication:
- June 1984
-
- Article
- Export citation
A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 563-569
- Print publication:
- June 1984
-
- Article
- Export citation
Algebraic theories with definable Skolem functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-629
- Print publication:
- June 1984
-
- Article
- Export citation
Co-immune subspaces and complementation in V∞
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-538
- Print publication:
- June 1984
-
- Article
- Export citation
Peter Thomas Geach. Reference and generality. An examination of some medieval and modern theories. Third edition. Contemporary philosophy series. Cornell University Press, Ithaca and London1980, 231 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 655-657
- Print publication:
- June 1984
-
- Article
- Export citation
Dag Normann. Recursion on the countable functionals. Lecture notes in mathematics, vol. 811. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, VIII + 191 pp. - Dag Normann. The continuous functionals; computations, recursions and degrees. Annals of mathematical logic, vol. 21 (1981), pp. 1–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-670
- Print publication:
- June 1984
-
- Article
- Export citation
Jeanne Ferrante and Charles W. Rackoff. The computational complexity of logical theories. Lecture notes in mathematics, vol. 718. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 243 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-671
- Print publication:
- June 1984
-
- Article
- Export citation
G. C. Smith. The Boole-De Morgan correspondence 1842–1864. Oxford logic guides. Clarendon Press, Oxford University Press, Oxford and New York1982, vii + 156 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-659
- Print publication:
- June 1984
-
- Article
- Export citation
JSL volume 49 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1984
-
- Article
-
- You have access
- Export citation
Weak strong partition cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-557
- Print publication:
- June 1984
-
- Article
- Export citation
Espaces ultramétriques
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-424
- Print publication:
- June 1984
-
- Article
- Export citation
Ordinal definability in Jensen's model
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-620
- Print publication:
- June 1984
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic Denver, 1983
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-682
- Print publication:
- June 1984
-
- Article
- Export citation
On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0′
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 488-502
- Print publication:
- June 1984
-
- Article
- Export citation
A. Maitra and C. Ryll-Nardzewski. On the existence of two analytic non-Borel sets which are not isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques, vol. 18 (1970), pp. 177–178. - R. Daniel Mauldin. On nonisomorphic analytic sets. Proceedings of the American Mathematical Society, vol. 58 (1976), pp. 241–244. - Karel Hrbacek. On the complexity of analytic sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 419–425. - Karel Hrbacek and Stephen G. Simpson. On Kleene degrees of analytic sets. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 347–352. - Leo Harrington. Analytic determinacy and 0#. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 685–693.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-668
- Print publication:
- June 1984
-
- Article
- Export citation
Questions about quantifiers1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 443-466
- Print publication:
- June 1984
-
- Article
- Export citation
Infinite subscripts from infinite exponents
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 558-562
- Print publication:
- June 1984
-
- Article
- Export citation
QE commutative nilrings
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 644-651
- Print publication:
- June 1984
-
- Article
- Export citation