13629 results in The Journal of Symbolic Logic
Metamathematical problems
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 500-516
- Print publication:
- September 1973
-
- Article
- Export citation
H. Jerome Keisler. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London1971, x + 208 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-523
- Print publication:
- September 1973
-
- Article
- Export citation
A. H. Basson and D. J. O'Connor. Language and philosophy: Some suggestions for an empirical approach. Methodos, vol. 5 (1953), pp. 203–221. (Reprinted from Philosophy, vol. 22 (1947), pp. 49–65.) - A. H. Basson and D. J. O'Connor. Linguaggio e filosofia. Alcuni suggerimenti per un approccio empirico, Italian translation of the preceding. Methodos, vol. 5 (1953), pp. 222–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 535
- Print publication:
- September 1973
-
- Article
- Export citation
The decision problem for formulas with a small number of atomic subformulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 471-480
- Print publication:
- September 1973
-
- Article
- Export citation
Saunders Mac Lane. Categorical algebra and set-theoretic foundations. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 231–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
- Print publication:
- September 1973
-
- Article
- Export citation
Sergiu Rudeanu. Independent systems of axioms in lattice theory. Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, n.s. vol. 3 (1959), pp. 475–488.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- September 1973
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Dallas 1973
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-549
- Print publication:
- September 1973
-
- Article
- Export citation
Robert M. Solovay. A model of set-theory in which every set of reals is Lebesgue measurable. Annals of mathematics, ser. 2 vol. 92 (1970), pp. 1–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 529
- Print publication:
- September 1973
-
- Article
- Export citation
G. Takeuti and W. M. Zaring. Introduction to axiomatic set theory. Springer-Verlag, New York, Heidelberg, and Berlin, 1971, VII + 250 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 530
- Print publication:
- September 1973
-
- Article
- Export citation
Borel sets and hyperdegrees1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-409
- Print publication:
- September 1973
-
- Article
- Export citation
Limitations on the Fraenkel-Mostowski method of independence proofs
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 416-422
- Print publication:
- September 1973
-
- Article
- Export citation
Serge Grigorieff. Combinatorics on ideals and forcing. Annals of mathematical logic, vol. 3 no. 4 (1971), pp. 363–394.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-529
- Print publication:
- September 1973
-
- Article
- Export citation
Post's problem and his hypersimple set1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 446-452
- Print publication:
- September 1973
-
- Article
- Export citation
Carl G. Hempel. Inductive inconsistencies. Aspects of scientific explanation and other essays in the philosophy of science, by Carl G. Hempel, The Free Press, New York, and Collier-Macmillan Ltd., London, 1965, pp. 53–79. (Reprinted, with minor changes, from Synthese, vol. 12 (for 1960, pub. 1961), pp. 439–469; also from Logic and language, Studies dedicated to Professor Rudolf Carnap on the occasion of his seventieth birthday, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 128–158.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-532
- Print publication:
- September 1973
-
- Article
- Export citation
The consistency of a system of combinatory restricted generality*
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 489-492
- Print publication:
- September 1973
-
- Article
- Export citation
Algebraically closed commutative rings
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 493-499
- Print publication:
- September 1973
-
- Article
- Export citation
H. B. Enderton. On provable recursive functions. Notre Dame journal of formal logic, vol. 9 no. 1 (1968), pp. 86–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
- Print publication:
- September 1973
-
- Article
- Export citation
On the possibility of a Σ21 well-ordering of the Baire space
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-398
- Print publication:
- September 1973
-
- Article
- Export citation
Arthur H. Kruse. Some notions of random sequence and their set-theoretic foundations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 299–322.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 530-531
- Print publication:
- September 1973
-
- Article
- Export citation
C. G. McKay. A note on the Jaśkowski sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 95–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
- Print publication:
- September 1973
-
- Article
- Export citation