Research Article
The effective content of surreal algebra

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

 Article
 Export citation
The cylindric algebras of threevalued logic

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

 Article
 Export citation
Higher gap morasses, Ia: Gaptwo morasses and condensation

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

 Article
 Export citation
Codable sets and orbits of computably enumerable sets

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

 Article
 Export citation
Relative constructivity

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

 Article
 Export citation
Definability and definable groups in simple theories

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

 Article
 Export citation
Orthogonal families of real sequences

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

 Article
 Export citation
Definability and descent

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

 Article
 Export citation
Undecidable extensions of Skolem arithmetic

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

 Article
 Export citation
Filtral powers of structures

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

 Article
 Export citation
More on an undecidability result of Bateman, Jockusch and Woods

 Published online by Cambridge University Press:
 12 March 2014, p. 50

 Article
 Export citation
Σ2 Induction and infinite injury priority argument, Part I: Maximal sets and the jump operator

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

 Article
 Export citation
Automorphisms moving all nonalgebraic points and an application to NF

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

 Article
 Export citation
Small forcing makes any cardinal superdestructible

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

 Article
 Export citation
Solving Pell equations locally in models of IΔ0

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

 Article
 Export citation
Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelien

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

 Article
 Export citation
Relative enumerability in the difference hierarchy

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

 Article
 Export citation
Multiplicative conjunction and an algebraic meaning of contraction and weakening

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

 Article
 Export citation
Models of arithmetic and subuniform bounds for the arithmetic sets

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

 Article
 Export citation
Termination and confluence in infinitary term rewriting

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

 Article
 Export citation