13629 results in The Journal of Symbolic Logic
Rick L. Smith. The consistency strengths of some finite forms of the Higman and Kruskal theorems. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 119–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 869-870
- Print publication:
- June 1990
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 895-896
- Print publication:
- June 1990
-
- Article
- Export citation
Charles Steinhorn. Borel structures for first-order and extended logics. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 161–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 874-875
- Print publication:
- June 1990
-
- Article
- Export citation
L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson. Introduction. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. Ščedrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. vii–xii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 867-868
- Print publication:
- June 1990
-
- Article
- Export citation
Saharon Shelah. Primitive recursive bounds for van der Waerden numbers. Journal of the American Mathematical Society, vol. 1 (1988), pp. 683–697.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 887-888
- Print publication:
- June 1990
-
- Article
- Export citation
Cylindric algebras with terms
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 854-866
- Print publication:
- June 1990
-
- Article
- Export citation
Upward directedness of the Rudin-Keisler ordering of p-points
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-456
- Print publication:
- June 1990
-
- Article
- Export citation
The equivalence of determinacy and iterated sharps
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 502-525
- Print publication:
- June 1990
-
- Article
- Export citation
A metatheorem for constructions by finitely many workers
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 787-804
- Print publication:
- June 1990
-
- Article
- Export citation
Daniel Lascar. Stabilité en théorie des modèles. French original of the preceding. Monographies de mathèmatique, no. 2. Institut de Mathématique Pure et Appliquée, Université Catholique de Louvain, Louvain-la-Neuve1986, 231 pp. - Ray Mines, Fred Richman, and Wim Ruitenburg. A course in constructive algebra. Universitext. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1988, xi + 344 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 883-886
- Print publication:
- June 1990
-
- Article
- Export citation
Definitions of compact
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 645-655
- Print publication:
- June 1990
-
- Article
- Export citation
JSL volume 55 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1990
-
- Article
-
- You have access
- Export citation
Classification theory, Proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15–19, 1985, edited by J. T. Baldwin, Lecture notes in mathematics, vol. 1292, Springer-Verlag, Berlin etc. 1987, vi + 500 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 878-881
- Print publication:
- June 1990
-
- Article
- Export citation
Some results on higher Suslin trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-536
- Print publication:
- June 1990
-
- Article
- Export citation
Infinitary combinatorics and modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-778
- Print publication:
- June 1990
-
- Article
- Export citation
A 1-generic degree which bounds a minimal degree
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 733-743
- Print publication:
- June 1990
-
- Article
- Export citation
The deduction theorem for quantum logic—some negative results
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-625
- Print publication:
- June 1990
-
- Article
- Export citation
The spectrum of resplendency
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 626-636
- Print publication:
- June 1990
-
- Article
- Export citation
C. Smoryński. Nonstandard models and related developments. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 179–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 875-876
- Print publication:
- June 1990
-
- Article
- Export citation
Weakly semirecursive sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 637-644
- Print publication:
- June 1990
-
- Article
- Export citation