13629 results in The Journal of Symbolic Logic
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1543-1544
- Print publication:
- December 1992
-
- Article
- Export citation
There is no sharp transitivity on q6 when q is a type of Morley rank 2
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1198-1212
- Print publication:
- December 1992
-
- Article
- Export citation
Ker-I Ko. Complexity theory of real functions. Progress in theoretical computeer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 309 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1489-1491
- Print publication:
- December 1992
-
- Article
- Export citation
M. Foreman, M. Magidor, and S. Shelah. Martin's maximum, saturated ideals, and non-regular ultrafilters. Part I. Annals of mathematics, ser. 2 vol. 127 (1988), pp. 1–47, and vol. 129 (1989), p. 651.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1131-1132
- Print publication:
- September 1992
-
- Article
- Export citation
Edward N. Zalta. Intensional logic and the metaphysics of intentionality. Bradford books. The MIT Press, Cambridge, Mass., and London, 1988, xiii + 256 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1146-1150
- Print publication:
- September 1992
-
- Article
- Export citation
A structure theorem for semibounded sets in the reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 779-794
- Print publication:
- September 1992
-
- Article
- Export citation
About the proof-theoretic ordinals of weak fixed point theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1119
- Print publication:
- September 1992
-
- Article
- Export citation
A theorem on the isomorphism property
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1011-1017
- Print publication:
- September 1992
-
- Article
- Export citation
Polynomially and superexponentially shorter proofs in fragments of arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 844-863
- Print publication:
- September 1992
-
- Article
- Export citation
Équivalence élémentaire et isomorphisme des corps de courbe sur un corps algébriquement clos
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 808-823
- Print publication:
- September 1992
-
- Article
- Export citation
A characterization of ML in many-sorted arithmetic with conditional application
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 924-953
- Print publication:
- September 1992
-
- Article
- Export citation
Contraction-free sequent calculi for intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 795-807
- Print publication:
- September 1992
-
- Article
- Export citation
The isomorphism property versus the special model axiom
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 975-987
- Print publication:
- September 1992
-
- Article
- Export citation
Whither relevant arithmetic?
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 824-831
- Print publication:
- September 1992
-
- Article
- Export citation
Prime numbers and factorization in IE1 and weaker systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1057-1085
- Print publication:
- September 1992
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1151-1152
- Print publication:
- September 1992
-
- Article
- Export citation
Donald A. Martin and John R. Steel. Projective determinacy. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 (1988), pp. 6582–6586. - W. Hugh Woodin. Supercompact cardinals, sets of reals, and weakly homogeneous trees. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 (1988), pp. 6587–6591. - Donald A. Martin and John R. Steel. A proof of projective determinacy. Journal of the American Mathematical Society, vol. 2 (1989), pp. 71–125.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1132-1136
- Print publication:
- September 1992
-
- Article
- Export citation
Michael Moortgat. Categorical investigations. Logical and linguistic aspects of the Lambek calculus. Groningen-Amsterdam studies in semantics, no. 9. Foris Publications, Dordrecht and Providence1988, xiii + 285 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1146
- Print publication:
- September 1992
-
- Article
- Export citation
The theory of the recursively enumerable weak truth-table degrees is undecidable
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 864-874
- Print publication:
- September 1992
-
- Article
- Export citation
Saturated ideals and the singular cardinal hypothesis
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 970-974
- Print publication:
- September 1992
-
- Article
- Export citation