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