13629 results in The Journal of Symbolic Logic
Von Mises' definition of random sequences reconsidered
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 725-755
- Print publication:
- September 1987
-
- Article
- Export citation
J. F. A. K. van Benthem. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Synthese library, vol. 156. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1983, xvi + 260 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 874-876
- Print publication:
- September 1987
-
- Article
- Export citation
A preservation theorem for ec-structures with applications
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 779-785
- Print publication:
- September 1987
-
- Article
- Export citation
Jack H. Silver. Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Annals of mathematical logic, vol. 18 (1980), pp. 1–28. - John P. Burgess. Equivalences generated by families of Borel sets. Proceedings of the American Mathematical Society. vol. 69 (1978), pp. 323–326. - John P. Burgess. A reflection phenomenon in descriptive set theory. Fundamenta mathematicae. vol. 104 (1979), pp. 127–139. - L. Harrington and R. Sami. Equivalence relations, projective and beyond. Logic Colloquium '78, Proceedings of the Colloquium held in Mons, August 1978, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 247–264. - Leo Harrington and Saharon Shelah. Counting equivalence classes for co-κ-Souslin equivalence relations. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 147–152. - Jacques Stern. On Lusin's restricted continuum problem. Annals of mathematics, ser. 2 vol. 120 (1984), pp. 7–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 869-870
- Print publication:
- September 1987
-
- Article
- Export citation
Quantum logic and the classical propositional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 834-841
- Print publication:
- September 1987
-
- Article
- Export citation
Keith J. Devlin. Constructibility. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1984, xi + 425 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 864-867
- Print publication:
- September 1987
-
- Article
- Export citation
Combinatorics on ideals and forcing with trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 582-593
- Print publication:
- September 1987
-
- Article
- Export citation
Michael J. O'Donnell. Equational logic as a programming language. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1985, xv + 296 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-874
- Print publication:
- September 1987
-
- Article
- Export citation
Nonstandard characterizations of recursive saturation and resplendency
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 842-863
- Print publication:
- September 1987
-
- Article
- Export citation
Complete theories with only universal and existential axioms
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 698-711
- Print publication:
- September 1987
-
- Article
- Export citation
Semi-de Morgan algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 712-724
- Print publication:
- September 1987
-
- Article
- Export citation
Saharon Shelah. Differentially closed fields. Israel journal of mathematics, t. 16 (1973), p. 314–328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 870-873
- Print publication:
- September 1987
-
- Article
- Export citation
Dominical categories: recursion theory without elements1 2
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 594-635
- Print publication:
- September 1987
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Indianapolis, 1986
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 3 / September 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 883-887
- Print publication:
- September 1987
-
- Article
- Export citation
Alan Bundy. The computer modelling of mathematical reasoning. Academic Press, London etc. 1983, xiv + 322 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 555-557
- Print publication:
- June 1987
-
- Article
- Export citation
Moshe Jarden and Ursel Kiehne. The elementary theory of algebraic fields of finite corank. Inventiones mathematicae, vol. 30 no. 3 (1975), pp. 275–294.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. 567
- Print publication:
- June 1987
-
- Article
- Export citation
S. G. Gindikin. Algebraic logic. English translation by Robert H. Silverman of Algébra logiki v zadačah. Problem books in mathematics. Springer-Verlag, New York, Berlin, etc., 1985, xviii + 356 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 565-567
- Print publication:
- June 1987
-
- Article
- Export citation
On the consistency of self-referential systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 425-436
- Print publication:
- June 1987
-
- Article
- Export citation
S. G. Gindikin. Algébra logiki v zadačah. Russian original of the preceding. Izdatél'stvo “Nauka,” Moscow1972, 288 pp. - Moshe Jarden. Elementary statements over large algebraic fields. Transactions of the American Mathematical Society, vol. 164 (1972), pp. 67–91.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. 567
- Print publication:
- June 1987
-
- Article
- Export citation
Paul Benacerraf. Mathematical truth. The journal of philosophy, vol. 70 (1973), pp. 661–679. - Michael Jubien. Ontology and mathematical truth. Noûs, vol. 11 (1977), pp. 133–150. - Philip Kitcher. The plight of the Platonist. Noûs, vol. 12 (1978), pp. 119–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 552-554
- Print publication:
- June 1987
-
- Article
- Export citation