13629 results in The Journal of Symbolic Logic
Mike Townsend. Complexity for type-2 relations. Notre Dame journal of formal logic, vol. 31 (1990), pp. 241–262.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 360
- Print publication:
- March 1993
-
- Article
- Export citation
Splittings and the finite model property
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-157
- Print publication:
- March 1993
-
- Article
- Export citation
Combinatorial properties of the ideal ℬ2
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 42-54
- Print publication:
- March 1993
-
- Article
- Export citation
Franz von Kutschera. Gottlob Frege. Eine Einführung in sein Werk. Walter de Gruyter, Berlin and New York1989, x + 207 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-368
- Print publication:
- March 1993
-
- Article
- Export citation
Stewart Shapiro. Foundations without foundationalism. A case for second-order logic. Oxford logic guides, no. 17. Clarendon Press, Oxford University Press, Oxford and New York1991, xx + 277 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-365
- Print publication:
- March 1993
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-384
- Print publication:
- March 1993
-
- Article
- Export citation
Strong ultrapowers and long core models
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-248
- Print publication:
- March 1993
-
- Article
- Export citation
On strong provability predicates and the associated modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-290
- Print publication:
- March 1993
-
- Article
- Export citation
On coherent families of finite-to-one functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-138
- Print publication:
- March 1993
-
- Article
- Export citation
On the relationship between the partition property and the weak partition property for normal ultrafilters on Pκλ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-127
- Print publication:
- March 1993
-
- Article
- Export citation
Ieke Moerdijk and Gonzalo E. Reyes. Models for smooth infinitesimal analysis. Springer-Verlag, New York, Berlin, etc., 1991, x + 399 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-355
- Print publication:
- March 1993
-
- Article
- Export citation
Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-98
- Print publication:
- March 1993
-
- Article
- Export citation
Resultats optimaux sur l'existence d'une partie entiere dans les corps ordonnes
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-333
- Print publication:
- March 1993
-
- Article
- Export citation
On the Σ2-theory of the upper semilattice of Turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-204
- Print publication:
- March 1993
-
- Article
- Export citation
Every n-generic degree is a minimal cover of an n-generic degree
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-231
- Print publication:
- March 1993
-
- Article
- Export citation
Zero-one laws with variable probability
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-14
- Print publication:
- March 1993
-
- Article
- Export citation
JSL volume 58 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1993
-
- Article
-
- You have access
- Export citation
Andreas Blass. Near coherence of filters, 1: cofinal equivalence of models of arithmetic. Notre Dame journal of formal logic, vol. 27 (1986), pp. 579–591.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 350
- Print publication:
- March 1993
-
- Article
- Export citation
A note on exponentiation
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-71
- Print publication:
- March 1993
-
- Article
- Export citation
Diophantine relations between rings of S-integers of fields of algebraic functions in one variable over constant fields of positive characteristic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-192
- Print publication:
- March 1993
-
- Article
- Export citation