Research Article
Hypertorre isols

 Published online by Cambridge University Press:
 12 March 2014, pp. 15

 Article
 Export citation
La logique des topos

 Published online by Cambridge University Press:
 12 March 2014, pp. 616

 Article
 Export citation
Ordinal analysis of simple cases of bar recursion

 Published online by Cambridge University Press:
 12 March 2014, pp. 1730

 Article
 Export citation
The κclosed unbounded filter and supercpmpact cardinals

 Published online by Cambridge University Press:
 12 March 2014, pp. 3140

 Article
 Export citation
Determinateness and the separation property

 Published online by Cambridge University Press:
 12 March 2014, pp. 4144

 Article
 Export citation
A proof of the associated sheaf theorem by means of categorical logic

 Published online by Cambridge University Press:
 12 March 2014, pp. 4555

 Article
 Export citation
Rings which admit elimination of quantifiers

 Published online by Cambridge University Press:
 12 March 2014, pp. 5658

 Article
 Export citation
On Ppoints over a measurable cardinal

 Published online by Cambridge University Press:
 12 March 2014, pp. 5966

 Article
 Export citation
The consistency of system Q

 Published online by Cambridge University Press:
 12 March 2014, pp. 6776

 Article
 Export citation
Modal semantics without possible worlds

 Published online by Cambridge University Press:
 12 March 2014, pp. 7786

 Article
 Export citation
On the interpolation theorem for the logic of constant domains

 Published online by Cambridge University Press:
 12 March 2014, pp. 8788

 Article
 Export citation
Changing cofinalities and infinite exponents1,2

 Published online by Cambridge University Press:
 12 March 2014, pp. 8995

 Article
 Export citation
Locally countable models of Σ1separation

 Published online by Cambridge University Press:
 12 March 2014, pp. 96100

 Article
 Export citation
Decidability and finite axiomatizability of theories of ℵ0categorical partially ordered sets

 Published online by Cambridge University Press:
 12 March 2014, pp. 101120

 Article
 Export citation
The continuum hypothesis in intuitionism

 Published online by Cambridge University Press:
 12 March 2014, pp. 121136

 Article
 Export citation
Sousgroupes définissables d'un groupe stable

 Published online by Cambridge University Press:
 12 March 2014, pp. 137146

 Article
 Export citation
Some initial segments of the RudinKeisler ordering

 Published online by Cambridge University Press:
 12 March 2014, pp. 147157

 Article
 Export citation
Reviews
F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, SpringerVerlag, Berlin, Heidelberg, and New York, 1975, pp. 3–14.  Orville Keane. Abstract Horn theories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, SpringerVerlag, Berlin, Heidelberg, and New York, 1975, pp. 15–50.  Hugo Volger. Completeness theorem for logical categories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, SpringerVerlag, Berlin, Heidelberg, and New York, 1975, pp. 51–86.  Hugo Volger. Logical categories, semantical categories and topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, SpringerVerlag, Berlin, Heidelberg, and New York, 1975, pp. 87–100.  G. C. Wraith. Lectures on elementary topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, SpringerVerlag, Berlin, Heidelberg, and New York, 1975, pp. 114–206.  Gerhard Osius. Logical and set theoretical tools in elementary topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, SpringerVerlag, Berlin, Heidelberg, and New York, 1975, pp. 297–346.  Gerhard Osius. A note on Kripke–Joyal semantics for the internal language of topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, SpringerVerlag, Berlin, Heidelberg, and New York, 1975, pp. 349–354.

 Published online by Cambridge University Press:
 12 March 2014, pp. 158161

 Article
 Export citation
D. J. Shoesmith and T. J. Smiley. Multipleconclusion logic. Cambridge University Press, Cambridge etc. 1978, xiii + 396 pp.

 Published online by Cambridge University Press:
 12 March 2014, pp. 161163

 Article
 Export citation
A. H. Lightstone and Abraham Robinson. Nonarchimedean fields and asymptotic expansions. NorthHolland mathematical library, vol. 13. NorthHolland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, x + 204 pp.

 Published online by Cambridge University Press:
 12 March 2014, pp. 163164

 Article
 Export citation