13629 results in The Journal of Symbolic Logic
Martin Otto. The expressive power of fixed-point logic with counting. The journal of symbolic logic, vol. 61 (1996), pp. 147–176. - Martin Otto. Bounded variable logics and counting. A study infinite models. Lecture notes in logic, no. 9. Springer, Berlin, Heidelberg, New York, etc., 1997, ix + 183 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-331
- Print publication:
- March 1998
-
- Article
- Export citation
Undecidable wreath products and skew power series fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-246
- Print publication:
- March 1998
-
- Article
- Export citation
Samuel R. Buss. The undecidability of k-provability. Annals of pure and applied logic, vol. 53 (1991), pp. 75–102.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1480-1481
- Print publication:
- December 1997
-
- Article
- Export citation
The finite model property for various fragments of linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1202-1208
- Print publication:
- December 1997
-
- Article
- Export citation
Tychonoff's theorem in the framework of formal topologies
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1315-1332
- Print publication:
- December 1997
-
- Article
- Export citation
Wildness implies undecidability for lattices over group rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1429-1447
- Print publication:
- December 1997
-
- Article
- Export citation
Amalgamations preserving ℵ1-categoricity
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1070-1074
- Print publication:
- December 1997
-
- Article
- Export citation
Minimal models of Heyting arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1448-1460
- Print publication:
- December 1997
-
- Article
- Export citation
A sufficient condition for completability of partial combinatory algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1209-1214
- Print publication:
- December 1997
-
- Article
- Export citation
Index of reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1497-1504
- Print publication:
- December 1997
-
- Article
- Export citation
Yiannis N. Moschovakis. Notes on set theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, xiv + 272 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1494
- Print publication:
- December 1997
-
- Article
- Export citation
The entire NS ideal on
can be precipitous
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1161-1172
- Print publication:
- December 1997
-
- Article
- Export citation
The consistency of ZFC + 2ℵ0 > ℵω + ℐ(ℵ2) = ℐ(ℵω)
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1151-1160
- Print publication:
- December 1997
-
- Article
- Export citation
Variations on a game of Gale (III): remainder strategies
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1253-1264
- Print publication:
- December 1997
-
- Article
- Export citation
An Ulm-type classification theorem for equivalence relations in Solovay model
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1333-1351
- Print publication:
- December 1997
-
- Article
- Export citation
JSL volume 62 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
- Print publication:
- December 1997
-
- Article
-
- You have access
- Export citation
Contiguity and distributivity in the enumerable Turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1215-1240
- Print publication:
- December 1997
-
- Article
- Export citation
G. E. Hughes and M. J. Cresswell. A new introduction to modal logic. Routledge, London and New York1996, x + 421 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1483-1484
- Print publication:
- December 1997
-
- Article
- Export citation
Defining relevant implication in a propositionally quantified S4
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1057-1069
- Print publication:
- December 1997
-
- Article
- Export citation
A version of o-minimality for the p-adics
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1075-1092
- Print publication:
- December 1997
-
- Article
- Export citation