13629 results in The Journal of Symbolic Logic
The bounded proper forcing axiom
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-73
- Print publication:
- March 1995
-
- Article
- Export citation
A semantics of evidence for classical arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-337
- Print publication:
- March 1995
-
- Article
- Export citation
New set-theoretic axioms derived from a lean metamathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-198
- Print publication:
- March 1995
-
- Article
- Export citation
Solomon Feferman. Toward useful type-free theories I. The journal of symbolic logic, vol. 49 (1984), pp. 75–111. (Also in Recent essays on truth and the liar paradox, edited by Robert L. Martin, Clarendon Press, Oxford University Press, Oxford and New York 1985 (© 1984), pp. 237–287.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 342-345
- Print publication:
- March 1995
-
- Article
- Export citation
Requirement systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-245
- Print publication:
- March 1995
-
- Article
- Export citation
Abstract classes with few models have ‘homogeneous-universal’ models
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-265
- Print publication:
- March 1995
-
- Article
- Export citation
JSL Volume 60 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1995
-
- Article
-
- You have access
- Export citation
Robert Goldblatt. Logics of time and computation. Second edition of LVI 1495. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1992, also distributed by the University of Chicago Press, Chicago, ix + 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, p. 347
- Print publication:
- March 1995
-
- Article
- Export citation
Saunders Mac Lane and Ieke Moerdijk. Sheaves in geometry and logic. A first introduction to topos theory. Universitext. Springer-Verlag, New York, Berlin, etc., 1992, xii – 627 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-342
- Print publication:
- March 1995
-
- Article
- Export citation
Peter Øhrstrøm and Per Hasle. A. N. Prior's rediscovery of tense logic. Erkenntnis, vol. 39 (1993), pp. 23–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-348
- Print publication:
- March 1995
-
- Article
- Export citation
JSL volume 59 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
- Print publication:
- December 1994
-
- Article
-
- You have access
- Export citation
Grzegorcyk's hierarchy and IepΣ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1274-1284
- Print publication:
- December 1994
-
- Article
- Export citation
Boolean algebras, Stone spaces, and the iterated Turing jump
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1121-1138
- Print publication:
- December 1994
-
- Article
- Export citation
Embedding lattices into the wtt-degrees below 0′
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1360-1382
- Print publication:
- December 1994
-
- Article
- Export citation
Keith Devlin. The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, x + 192 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1441-1442
- Print publication:
- December 1994
-
- Article
- Export citation
Scott heights of abelian groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1351-1359
- Print publication:
- December 1994
-
- Article
- Export citation
A partial model of NF with E
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1245-1253
- Print publication:
- December 1994
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1496
- Print publication:
- December 1994
-
- Article
- Export citation
Michiel van Lambalgen. Independence, randomness and the axiom of choice. The journal of symbolic logic, vol. 57 (1992), pp. 1274–1304.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1433-1434
- Print publication:
- December 1994
-
- Article
- Export citation
Subformula property in many-valued modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1263-1273
- Print publication:
- December 1994
-
- Article
- Export citation