13629 results in The Journal of Symbolic Logic
Successive weakly compact or singular cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-146
- Print publication:
- March 1999
-
- Article
- Export citation
Erratum
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, p. 406
- Print publication:
- March 1999
-
- Article
-
- You have access
- Export citation
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-242
- Print publication:
- March 1999
-
- Article
- Export citation
Similar but not the same: various versions of ♣ do not coincide
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-198
- Print publication:
- March 1999
-
- Article
- Export citation
JSL volume 64 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1999
-
- Article
-
- You have access
- Export citation
Infinite imprimitive homogeneous 3-edge-colored complete graphs
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-179
- Print publication:
- March 1999
-
- Article
- Export citation
John P. Burgess and Gideon Rosen, A subject with no object. Strategies for nominalistic interpretation of mathematics, Clarendon Press, Oxford University Press, Oxford and New York1997, xi + 259 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-394
- Print publication:
- March 1999
-
- Article
- Export citation
Raymond M. Smullyan and Melvin Fitting. Set theory and the continuum problem. Oxford logic guides, no. 34. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, xiii + 288 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-403
- Print publication:
- March 1999
-
- Article
- Export citation
Wilfried Sieg. Step by recursive step: Church's analysis of effective calculability. The bulletin of symbolic logic, vol. 3 (1997), pp. 154–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-399
- Print publication:
- March 1999
-
- Article
- Export citation
Computably categorical structures and expansions by constants
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 13-37
- Print publication:
- March 1999
-
- Article
- Export citation
The Columbia history of western philosophy, edited by Richard H. Popkin, Columbia University Press, New York1999, xxvi + 836 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, p. 396
- Print publication:
- March 1999
-
- Article
- Export citation
JSL volume 64 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1999
-
- Article
-
- You have access
- Export citation
Finite algebras of relations are representable on finite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-267
- Print publication:
- March 1999
-
- Article
- Export citation
The proof-theoretic analysis of transfinitely iterated fixed point theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-67
- Print publication:
- March 1999
-
- Article
- Export citation
Uniform inseparability in explicit mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-326
- Print publication:
- March 1999
-
- Article
- Export citation
An
variation for one souslin tree
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-98
- Print publication:
- March 1999
-
- Article
- Export citation
Complexity, logic, and recursion theory, edited by Andrea Sorbi, Lecture notes in pure and applied mathematics, vol. 187, Marcel Dekker, Inc., New York, Basel, and Hong Kong, 1997, viii + 363 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-401
- Print publication:
- March 1999
-
- Article
- Export citation
Penelope Maddy. Naturalism in mathematics. Clarendon Press, Oxford University Press, Oxford and New York1998 (© 1997), ix + 254 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-396
- Print publication:
- March 1999
-
- Article
- Export citation
Normal monomodal logics can simulate all others
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-138
- Print publication:
- March 1999
-
- Article
- Export citation
The independence of
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-362
- Print publication:
- March 1999
-
- Article
- Export citation