13629 results in The Journal of Symbolic Logic
What is a logical system? edited by D. M. Gabbay, Studies in logic and computation, no. 4, Clarendon Press, Oxford University Press, Oxford1994, and New York 1995, x + 454 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1396-1400
- Print publication:
- December 1996
-
- Article
- Export citation
Kolaitis Phokion G. and Väänänen Jouko A.. Generalized quantifiers and pebble games on finite structures. Annals of pure and applied logic, vol. 74 (1995) pp. 23–75.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1387-1388
- Print publication:
- December 1996
-
- Article
- Export citation
Noncappable enumeration degrees below 0e′
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1347-1363
- Print publication:
- December 1996
-
- Article
- Export citation
JSL volume 61 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1996
-
- Article
-
- You have access
- Export citation
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Second edition of LVIII 725. Oxford logic guides, no. 31. Clarendon Press, Oxford University Press, Oxford and New York1995, x + 166 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1392-1393
- Print publication:
- December 1996
-
- Article
- Export citation
JSL volume 61 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 1996
-
- Article
-
- You have access
- Export citation
If there is an exactly λ-free abelian group then there is an exactly λ-separable one in λ
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1261-1278
- Print publication:
- December 1996
-
- Article
- Export citation
Simple Gentzenizations for the normal formulae of contraction-less logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1321-1346
- Print publication:
- December 1996
-
- Article
- Export citation
Lawrence S. Moss. Power set recursion. Annals of pure and applied logic, vol. 71 (1995), pp. 247–306.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1388-1389
- Print publication:
- December 1996
-
- Article
- Export citation
A recursive nonstandard model of normal open induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1228-1241
- Print publication:
- December 1996
-
- Article
- Export citation
Some characterization theorems for infinitary universal Horn logic without equality
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1242-1260
- Print publication:
- December 1996
-
- Article
- Export citation
Uniformization, choice functions and well orders in the class of trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1206-1227
- Print publication:
- December 1996
-
- Article
- Export citation
Some model theory for almost real closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1121-1152
- Print publication:
- December 1996
-
- Article
- Export citation
Hammer Eric M.. Logic and visual information. Studies in logic, language and information. CSLI Publications, Stanford, and FoLLI, 1996 (© 1995), also distributed by Cambridge University Press, New York, ix + 124 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1395-1396
- Print publication:
- December 1996
-
- Article
- Export citation
Minimal complementation below uniform upper bounds for the arithmetical degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1158-1192
- Print publication:
- December 1996
-
- Article
- Export citation
On countably closed complete Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1380-1386
- Print publication:
- December 1996
-
- Article
- Export citation
Strong termination for the epsilon substitution method
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1193-1205
- Print publication:
- December 1996
-
- Article
- Export citation
Steven G. Krantz. The elements of advanced mathematics. CRC Press, Boca Raton, New York, London, and Tokyo, 1995, xii + 155 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1394-1395
- Print publication:
- December 1996
-
- Article
- Export citation
Boolean operations, Borel sets, and Hausdorff's question
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1287-1304
- Print publication:
- December 1996
-
- Article
- Export citation
Winfried Just and Martin Weese. Discovering modern set theory. I. The basics. Graduate studies in mathematics, vol. 8. American Mathematical Society, Providence1996, xvii + 210 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1393-1394
- Print publication:
- December 1996
-
- Article
- Export citation