Research Article
The strength of admissibility without foundation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 867-879
-
- Article
- Export citation
The order indiscernibles of divisible ordered abelian groups1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-160
-
- Article
- Export citation
Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ2 sets are dense
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-513
-
- Article
- Export citation
Forcing the failure of CH by adding a real
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1185-1189
-
- Article
- Export citation
Definable structures in the lattice of recursively enumerable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1190-1197
-
- Article
- Export citation
The axiom of determinacy implies dependent choices in L(R)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-173
-
- Article
- Export citation
Heine-Borel does not imply the Fan Theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-519
-
- Article
- Export citation
Regular types in nonmultidimensional ω-stable theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 880-891
-
- Article
- Export citation
On the period of sequences (An(p)) in intuitionistic propositional calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-899
-
- Article
- Export citation
An extended joint consistency theorem for a family of free modal logics with equality1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-183
-
- Article
- Export citation
The consistency strength of the free-subset property for ωω
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1198-1204
-
- Article
- Export citation
An incomplete decidable modal logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-527
-
- Article
- Export citation
The word problem for cancellation semigroups with zero
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-191
-
- Article
- Export citation
Co-immune subspaces and complementation in V∞
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-538
-
- Article
- Export citation
Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1205-1236
-
- Article
- Export citation
Characteristically simple ℵ0-categorical groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 900-907
-
- Article
- Export citation
On partitioning the infinite subsets of large cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-541
-
- Article
- Export citation
The unsolvability of the Gödel class with identity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1237-1252
-
- Article
- Export citation
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-203
-
- Article
- Export citation
On choice sequences determined by spreads
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 908-916
-
- Article
- Export citation