13629 results in The Journal of Symbolic Logic
Decidable fragments of field theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1007-1018
- Print publication:
- September 1990
-
- Article
- Export citation
Differentially algebraic group chunks
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1138-1142
- Print publication:
- September 1990
-
- Article
- Export citation
An existence theorem for recursion categories
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1252-1268
- Print publication:
- September 1990
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1327-1328
- Print publication:
- September 1990
-
- Article
- Export citation
On Scott and Karp trees of uncountable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 897-908
- Print publication:
- September 1990
-
- Article
- Export citation
Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handbook. Perspectives in computing, vol. 23. Academic Press, Boston etc. 1988, xvi + 408 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1302-1304
- Print publication:
- September 1990
-
- Article
- Export citation
Partition properties and Prikry forcing on simple spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 938-947
- Print publication:
- September 1990
-
- Article
- Export citation
Donder Hans-Dieter. Regularity of ultrafilters and the core model. Israel journal of mathematics, vol. 63 (1988), pp. 289–322. - Donder Hans-Dieter, Koepke Peter, and Levinski Jean-Pierre. Some stationary subsets of P(λ). Proceedings of the American Mathematical Society, vol. 102 (1988), pp. 1000–1004. - Walker D. J.. On the transversal hypothesis and the weak Kurepa hypothesis. The journal of symbolic logic, vol. 53 (1988), pp. 854–877.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1313-1315
- Print publication:
- September 1990
-
- Article
- Export citation
Notions of relative ubiquity for invariant sets of relational structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 948-986
- Print publication:
- September 1990
-
- Article
- Export citation
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1299-1302
- Print publication:
- September 1990
-
- Article
- Export citation
Maximal r.e. equivalence relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1048-1058
- Print publication:
- September 1990
-
- Article
- Export citation
Set theoretic properties of Loeb measure
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1022-1036
- Print publication:
- September 1990
-
- Article
- Export citation
JSL volume 55 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1990
-
- Article
-
- You have access
- Export citation
Effective model theory vs. recursive model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1168-1191
- Print publication:
- September 1990
-
- Article
- Export citation
Gordon Baker. Wittgenstein, Frege and the Vienna circle. Basil Blackwell, Oxford and New York1988, xxii + 274 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1319-1320
- Print publication:
- September 1990
-
- Article
- Export citation
Finite Kripke models and predicate logics of provability
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1090-1098
- Print publication:
- September 1990
-
- Article
- Export citation
Weak cylindric set algebras and weak subdirect indecomposability
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 577-588
- Print publication:
- June 1990
-
- Article
- Export citation
Stephen G. Simpson. Nonprovability of certain combinatorial properties of finite trees. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. Ṧčedrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 87–117. (English translation of Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume, Archiv für mathematische Logik und Grundlagenforschung, vol. 25 (1985), pp. 45–65.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 868-869
- Print publication:
- June 1990
-
- Article
- Export citation
J. L. Bell. Toposes and local set theories. An introduction. Oxford logic guides, no. 14. Clarendon Press, Oxford University Press, Oxford and New York1988, xii + 267 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 886-887
- Print publication:
- June 1990
-
- Article
- Export citation
Successors of singular cardinals and measurability revisited
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 492-501
- Print publication:
- June 1990
-
- Article
- Export citation