13629 results in The Journal of Symbolic Logic
How connected is the intuitionistic continuum?
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1147-1150
- Print publication:
- December 1997
-
- Article
- Export citation
The forth part of the back and forth map in countable homogeneous structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-890
- Print publication:
- September 1997
-
- Article
- Export citation
Compact bracket abstraction in combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-740
- Print publication:
- September 1997
-
- Article
- Export citation
JSL volume 62 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1997
-
- Article
-
- You have access
- Export citation
Undefinability of κ-well-orderings in L∞κ
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 999-1020
- Print publication:
- September 1997
-
- Article
- Export citation
Counting finite models
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 925-949
- Print publication:
- September 1997
-
- Article
- Export citation
Coding without fine structure
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 808-815
- Print publication:
- September 1997
-
- Article
- Export citation
Decidability of Scott's model as an ordered ℚ-vectorspace
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 917-924
- Print publication:
- September 1997
-
- Article
- Export citation
The cofinality spectrum of the infinite symmetric group
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 902-916
- Print publication:
- September 1997
-
- Article
- Export citation
Finitary sketches
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 699-707
- Print publication:
- September 1997
-
- Article
- Export citation
A new deconstructive logic: linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-807
- Print publication:
- September 1997
-
- Article
- Export citation
JSL volume 62 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1997
-
- Article
-
- You have access
- Export citation
Øhrstrøm Peter and Hasle Per F. V.. Temporal logic. From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol. 57. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, viii + 413 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1044-1046
- Print publication:
- September 1997
-
- Article
- Export citation
Barwise Jon and Moss Lawrence. Vicious circles. On the mathematics of non-wellfounded phenomena. CSLI lecture notes, no. 60. CSLI Publications, Stanford1996, also distributed by Cambridge University Press, New York, x + 390 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1039-1040
- Print publication:
- September 1997
-
- Article
- Export citation
Soare Robert I.. Automorphisms of the lattice of recursively enumerable sets. Part I: maximal sets. Annals of mathematics, ser. 2 vol. 100 (1974), pp. 80–120. - Lerman Manuel and Soare Robert I.. d-Simple sets, small sets, and degree classes. Pacific journal of mathematics, vol. 87 (1980), pp. 135–155. - Cholak Peter. Automorphisms of the lattice of recursively enumerable sets. Memoirs of the American Mathematical Society, no. 541. American Mathematical Society, Providence1995, viii + 151 pp. - Harrington Leo and Soare Robert I.. The Δ30-automorphism method and noninvariant classes of degrees. Journal of the American Mathematical Society, vol. 9 (1996), pp. 617–666.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1048-1055
- Print publication:
- September 1997
-
- Article
- Export citation
Lower bounds for cutting planes proofs with small coefficients
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 708-728
- Print publication:
- September 1997
-
- Article
- Export citation
Canonical formulas for K4. Part III: the finite model property
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 950-975
- Print publication:
- September 1997
-
- Article
- Export citation
Solvability, provability, definability: the collected works of Emil L. Post, edited by Davis Martin, Contemporary mathematicians, Birkhäuser, Boston, Basel, and Berlin, 1994, xxviii + 554 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1046-1048
- Print publication:
- September 1997
-
- Article
- Export citation
Shelah Saharon. Cardinal arithmetic. Oxford logic guides, no. 29. Clarendon Press, Oxford University Press, Oxford and New York1994, xxxi + 481 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1035-1039
- Print publication:
- September 1997
-
- Article
- Export citation
Precipitous towers of normal filters
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 741-754
- Print publication:
- September 1997
-
- Article
- Export citation