Research Article
Model completions and omitting types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-672
-
- Article
- Export citation
Compactly expandable models and stability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-683
-
- Article
- Export citation
Reviews
A philosophical companion to first-order logic, edited by R. I. G. Hughes, Hackett Publishing Company, Indianapolis and Cambridge, Mass., 1993, viii + 309 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 684-685
-
- Article
- Export citation
Fred Landman. Structures for semantics. Studies in linguistics and philosophy, vol. 45. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, x + 367 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 686-687
-
- Article
- Export citation
Grigori Mints. A short introduction to modal logic. CSLI lecture notes, no. 30. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, Cambridge and New York, x + 91 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 687-689
-
- Article
- Export citation
Wilfrid Hodges. Model theory. Encyclopedia of mathematics and its applications, vol. 42, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1993, xiii + 772 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 689-691
-
- Article
- Export citation
René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 691-692
-
- Article
- Export citation
Andrew M. Pitts. Interpolation and conceptual completeness for pretoposes via category theory. Mathematical logic and theoretical computer science, edited by Kueker David W., Lopez-Escobar Edgar G. K. and Smith Carl H., Lecture notes in pure and applied mathematics, vol. 106, Marcel Dekker, New York and Basel1987, pp. 301–327. - Andrew M. Pitts. Conceptual completeness for first-order intuitionistic logic: an application of categorical logic. Annals of pure and applied logic, vol. 41 (1989), pp. 33–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 692-694
-
- Article
- Export citation
Jonahan Chapman and Frederick Rowbottom. Relative category theory and geometric morphisms. A logical approach. Oxford logic guides, no. 16., Clarendon press, Oxford University Press, Oxford and New York1992, xi + 263 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-695
-
- Article
- Export citation
Dimiter G. Skordev. Computability in combinatory spaces. An algebraic generalization of abstract first order computability. Mathematics and its applications (East European series), vol. 55. Kluwer Academic publishers, Dordrecht, Boston, and London, 1992, xiv + 320 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 695-696
-
- Article
- Export citation
Paul C. Eklof and Alan H. Mekler. Almost free modules. Set-theoretic methods. North Holland mathematical library, vol. 46. North-Holland, Amsterdam etc. 1990, xvi + 481 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-698
-
- Article
- Export citation
Stan Wagon. The Banach–Tarski paradox. Encyclopedia of mathematics and its applications, vol. 24. Cambridge University Press, Cambridge, New York, and Melbourne, 1985, xvi + 251 pp. - Stan Wagon. The Banach–Tarski paradox. Paperbound edition of the preceding. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xviii + 253 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 698
-
- Article
- Export citation
Edwin W. Miller. On a property of families of sets. English with Polish summary. Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego (Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie), Class III, vol. 30 (1937), pp. 31–38. - Ben Dushnik and Miller E. W.. Partially ordered sets. American journal of mathematics, vol. 63 (1941), pp. 600–610. - P. Erdős. Some set-theoretical properties of graphs. Revista, Universidad Nacional de Tucumán, Serie A, Matemáticas y física teórica, vol. 3 (1942), pp. 363–367. - G. Fodor. Proof of a conjecture of P. Erdős. Acta scientiarum mathematicarum, vol. 14 no. 4 (1952), pp. 219–227. - P. Erdős and Rado R.. A partition calculus in set theory. Bulletin of the American Mathematical Society, vol. 62 (1956), pp. 427–489. - P. Erdős and Rado R.. Intersection theorems for systems of sets. The journal of the London Mathematical Society, vol. 35 (1960), pp. 85–90. - A. Hajnal. Some results and problems on set theory. Acta mathematica Academiae Scientiarum Hungaricae, vol. 11 (1960), pp. 277–298. - P. Erdős and Hajnal A.. On a property of families of sets. Acta mathematica Academiae Scientiarum Hungaricae, vol. 12 (1961), pp. 87–123. - A. Hajnal. Proof of a conjecture of S. Ruziewicz. Fundamenta mathematicae, vol. 50 (1961), pp. 123–128. - P. Erdős, Hajnal A. and Rado R.. Partition relations for cardinal numbers. Acta mathematica Academiae Scientiarum Hungaricae, vol. 16 (1965), pp. 93–196. - P. Erdős and Hajnal A.. On a problem of B. Jónsson. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 (1966), pp. 19–23. - P. Erdős and Hajnal A.. On chromatic number of graphs and set-systems. Acta mathematica Academiae Scientiarum Hungaricae, vol. 17 (1966), pp. 61–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 698-701
-
- Article
- Export citation
Menachem Magidor. Representing sets of ordinals as countable unions of sets in the core model. Transactions of the American Mathematical Society, vol. 317 (1990), pp. 91–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 701-704
-
- Article
- Export citation
Front matter
JSL volume 60 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 60 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation