Research Article
More about uniform upper bounds on ideals of turing degrees1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 441-457
-
- Article
- Export citation
The countably based functionals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 458-474
-
- Article
- Export citation
On a combinatorial property of menas related to the partition property for measures on supercompact cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-481
-
- Article
- Export citation
Reviews
L. A. S. Kirby and J. B. Paris. Initial segments of models of Peano's axioms. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 211–226. - J. B. Paris. Some independence results for Peano arithmetic. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 725–731.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 482-483
-
- Article
- Export citation
K. McAloon. Introduction. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 1–2. - L. A. S. Kirby. La méthode des indicatrices et le théorème d'incomplétude. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 5–18. - Daniel Lascar. Une indicatrice de type “Ramsey” pour l'arithmétique de Peano et la formule de Paris-Harrington. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, 19–30. - Kenneth McAloon. Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d'indépendance. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 31–39. - Kenneth McAloon. Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d'incomplétude et fonctions récursives à croissance rapide. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 41–58. - M. A. Dickmann. Types remarquables et extensions de modèles dans l'arithmétique de Peano, I. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 59–117. - Jean-Pierre Ressayre. Types remarquables et extensions de modèles dans l'arithmétique de Peano, II. With an appendix by M. A. Dickmann. Modèles de l'arithmétique, Séminaire Paris VII, edited by K. McAloon, Asterisque, no. 73, Société Mathématique de France, Paris1980, pp. 119–154.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-484
-
- Article
- Export citation
Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9(1976), pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 (1976), pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 (1976), pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 (1976), vol. 43 (1978), pp. 572–600.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-485
-
- Article
- Export citation
Kit Fine. Failures of the interpolation lemma in quantified modal logic. The journal of symbolic logic, vol. 44, (1979), pp. 201–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 486-488
-
- Article
- Export citation
S. K. Thomason. Noncompactness in propositional modal logic. The journal of symbolic logic, vol. 37 no. 4 (for 1972, pub. 1973), pp. 716–720. - Kit Fine. An incomplete logic containing S4. Theoria, vol. 40 (1974), pp. 23–29. - S. K. Thomason. An incompleteness theorem in modal logic. Theoria, vol. 40 (1974), pp. 30–34. - Martin Gerson. The inadequacy of the neighbourhood semantics for modal logic. The journal of symbolic logic, vol. 40 (1975), pp. 141–148. - Martin Sebastian Gerson. An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics. Studio logica, vol. 34 (1975), pp. 333–342. - Martin Gerson. A neighbourhood frame for T with no equivalent relational frame. Zeitschrift für mathematische Logik und Grundlugen der Mathematik, vol. 22 (1976), pp. 29–34. - V. B. Šehtman. On incomplete propositional logics. Soviet mathematics, vol. 18 (1977), pp. 985–989. (English translation by B. F. Wells of O népolnyh logikah vyskazyvanij, Doklady Akadémii Nauk SSSR, vol. 235 (1977), pp. 542–545.) - J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, vol. 44 (1978), pp. 25–37. - J. F. A. K. van Benthem and W. J. Blok. Transitivity follows from Dummett's axiom. Theoria, vol. 44 (1978), pp. 117–118. - J. F. A. K. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, vol. 44 (1978), vol. 45 (1979). pp. 63–77.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 488-495
-
- Article
- Export citation
Tyler Burge. Frege and the hierarchy. Synthese, vol. 40 (1979), pp. 265–281. - Terence D. Parsons. Frege's hierarchies of indirect senses and the paradox of analysis. The foundations of analytic philosophy, edited by Peter A. French, Theodore E. UehlingJr., and Howard K. Wettstein, Midwest studies in philosophy, vol. 6, University of Minnesota Press, Minneapolis1981, pp. 37–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 495-496
-
- Article
- Export citation
G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 (1972), pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 (1973), pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 (1973), pp. 73–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 496
-
- Article
- Export citation
H. Jerome Keisler. The stability function of a theory. The journal of symbolic logic, vol. 43 (1978), pp. 481–486.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 496-497
-
- Article
- Export citation
Saharon Shelah. On uniqueness of prime models. The journal of symbolic logic, vol. 44 (1979), pp. 215–220.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 497
-
- Article
- Export citation
Peter G. Hinman. Recursion-theoretic hierarchies. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1978, XII + 480 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-498
-
- Article
- Export citation
Michael R. ΠGarey and David S. Johnson. Computers and intractability. A guide to the theory of NP-completeness. W. H. Freeman and Company, San Francisco1979, x + 338 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 498-500
-
- Article
- Export citation
Anil Gupta. The logic of common nouns. An investigation in quantified modal logic. Yale University Press, New Haven and London1980, xi + 142 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 500-501
-
- Article
- Export citation
David R. Dowty. Word meaning and Montague grammar. The semantics of verbs and times in generative semantics and in Montague's PTQ. Synthese language library, vol. 7. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, xvii + 415 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-502
-
- Article
- Export citation
Sören Halldén. The foundations of decision logic. Library of theoria, no. 14. CWK Gleerup, Lund1980, 99 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 502-503
-
- Article
- Export citation
Hubert C. Kennedy. Peano. Life and works of Giuseppe Peano. Studies in the history of modern science, vol. 4. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xii + 230 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, San Francisco, 1981
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 505-513
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Milwaukee, 1981
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-518
-
- Article
- Export citation