13629 results in The Journal of Symbolic Logic
Universal structures in power ℵ1
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-477
- Print publication:
- June 1990
-
- Article
- Export citation
The ordertype of β-R.E. sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 573-576
- Print publication:
- June 1990
-
- Article
- Export citation
C. Anthony Anderson. General intensional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 355–385.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-894
- Print publication:
- June 1990
-
- Article
- Export citation
Operative vs. combinatory spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 561-572
- Print publication:
- June 1990
-
- Article
- Export citation
Boolean algebras and orbits of the lattice of r.e sets modulo the finite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 744-760
- Print publication:
- June 1990
-
- Article
- Export citation
Saharon Shelah and Lee Stanley. A theorem and some consistency results in partition calculus. Annals of pure applied logic, vol. 36 (1987), pp. 119–152.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 888-889
- Print publication:
- June 1990
-
- Article
- Export citation
Daniel Lascar. Stability in model theory. English translation by J. E. Wallington of Stabilité en théorie des modèles. Pitman monographs and surveys in pure and applied mathematics, no. 36. Longman Scientific & Technical, Harlow, Essex, and John Wiley & Sons, New York, 1987, v + 193 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 881-883
- Print publication:
- June 1990
-
- Article
- Export citation
John W. Dawson Jr. A Gödel chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 37– 43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- March 1990
-
- Article
- Export citation
Robert I. Soare. Recursively enumerable sets and degrees. A study of computable functions and computably generated sets. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1987, xviii + 437 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-357
- Print publication:
- March 1990
-
- Article
- Export citation
Subgroups of stable groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-156
- Print publication:
- March 1990
-
- Article
- Export citation
Kurt Gödel. Review of Hilbert's Die Grundlegung der elementaren Zahlentheorie (10818). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 212, 214. (Reprinted from Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 1 (1931), p. 260.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 213, 215. - Solomon Feferman. Introductory note to 1931C. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 208– 213.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
- Print publication:
- March 1990
-
- Article
- Export citation
Kurt Gödel. Ein Spezialfall des Entscheidungsproblems der theoretischen Logik (1932a). A reprint of 4187. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 230–234. - Kurt Gödel. A special case of the decision problem for theoretical logic (1932a). English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 231– 235. - Kurt Gödel. Zum Entscheidungsproblem des logischen Funktionenkalüls (1933i). A reprint of 41813. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 306– 326. - Kurt Gödel. On the decision problem for the functional calculus of logic (1933i). English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 307– 327. - Kurt Gödel. Review of Kalmár's Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten (3847). Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 330, 332. (Reprinted from Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 6 (1933), pp. 385–386.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 331, 333. - Warren D. Goldfarb. Introductory note to 1932a, 1933i and l. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 226– 231.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
- Print publication:
- March 1990
-
- Article
- Export citation
L'axiome de normalité pour les espaces totalement ordonnés
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-283
- Print publication:
- March 1990
-
- Article
- Export citation
Mathematics as natural science
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-193
- Print publication:
- March 1990
-
- Article
- Export citation
Matthew Hennessy. Algebraic theory of processes. Foundations of computing series. The MIT Press, Cambridge, Mass., and London, 1988, ix + 272 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-368
- Print publication:
- March 1990
-
- Article
- Export citation
Kurt Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 300, 302. - Kurt Gödel. An interpretation of the intuitionistic propositional calculus (1933f). English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 301, 303. - A. S. Troelstra. Introductory note to 1933f. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 296– 299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
- Print publication:
- March 1990
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-386
- Print publication:
- March 1990
-
- Article
- Export citation
On Ehrenfeucht-Fraïssé equivalence of linear orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-73
- Print publication:
- March 1990
-
- Article
- Export citation
Remarks on the Church-Rosser Property
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-112
- Print publication:
- March 1990
-
- Article
- Export citation
Temporal logics and their applications, edited by Antony Galton, Academic Press, London, San Diego, etc., 1987, xii + 244 pp.—Therein: - Antony Galton. Temporal logic and computer science: an overview. Pp. 1– 52. - Howard Barringer. The use of temporal logic in the compositional specification of concurrent systems. Pp. 53– 90. - Roger Hale. Temporal logic programming. Pp. 91– 119. - Fariba Sadri. Three recent approaches to temporal reasoning. Pp. 121– 168. - Antony Galton. The logic of occurrence. Pp. 169– 196. - Dov Gabbay. Modal and temporal logic programming. Pp. 197– 237.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 364-366
- Print publication:
- March 1990
-
- Article
- Export citation