Research Article
Weight ω in stable theories with few types
 Published online by Cambridge University Press: 12 March 2014, pp. 353373

 Article
 Export citation
Martin's axiom and the continuum
 Published online by Cambridge University Press: 12 March 2014, pp. 374391

 Article
 Export citation
The dimension of the negation of transitive closure
 Published online by Cambridge University Press: 12 March 2014, pp. 392414

 Article
 Export citation
Ultrafilters generated by a closed set of functions
 Published online by Cambridge University Press: 12 March 2014, pp. 415430

 Article
 Export citation
On the equivalence of certain consequences of the proper forcing axiom
 Published online by Cambridge University Press: 12 March 2014, pp. 431443

 Article
 Export citation
Hechler reals
 Published online by Cambridge University Press: 12 March 2014, pp. 444458

 Article
 Export citation
On the basic logic of STIT with a single agent
 Published online by Cambridge University Press: 12 March 2014, pp. 459483

 Article
 Export citation
Anneaux de fonctions padiques
 Published online by Cambridge University Press: 12 March 2014, pp. 484497

 Article
 Export citation
The decidability of dependency in intuitionistic propositional logic
 Published online by Cambridge University Press: 12 March 2014, pp. 498504

 Article
 Export citation
The thickness lemma from P− + IΣ1 + ¬BΣ2
 Published online by Cambridge University Press: 12 March 2014, pp. 505511

 Article
 Export citation
The isomorphism property for nonstandard universes
 Published online by Cambridge University Press: 12 March 2014, pp. 512516

 Article
 Export citation
Complete problems for fixedpoint logics
 Published online by Cambridge University Press: 12 March 2014, pp. 517527

 Article
 Export citation
Corps et chirurgie
 Published online by Cambridge University Press: 12 March 2014, pp. 528533

 Article
 Export citation
Possible behaviours of the reflection ordering of stationary sets
 Published online by Cambridge University Press: 12 March 2014, pp. 534547

 Article
 Export citation
Élimination des quantificateurs dans des paires de corps
 Published online by Cambridge University Press: 12 March 2014, pp. 548562

 Article
 Export citation
A geometric proof of the completeness of the Łukasiewicz calculus
 Published online by Cambridge University Press: 12 March 2014, pp. 563578

 Article
 Export citation
A starfree semantics for R
 Published online by Cambridge University Press: 12 March 2014, pp. 579590

 Article
 Export citation
Cylindric modal logic
 Published online by Cambridge University Press: 12 March 2014, pp. 591623

 Article
 Export citation
Ultrafilters on ω
 Published online by Cambridge University Press: 12 March 2014, pp. 624639

 Article
 Export citation
Models of intuitionistic TT and NF
 Published online by Cambridge University Press: 12 March 2014, pp. 640653

 Article
 Export citation