Research Article
Real closed fields and models of Peano arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-11
-
- Article
- Export citation
Recovering the hyperdefinable group action in the group configuration theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 12-24
-
- Article
- Export citation
Finitely axiomatizable strongly minimal groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 25-50
-
- Article
- Export citation
A Sacks real out of nowhere
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-76
-
- Article
- Export citation
A phase semantics for polarized linear logic and second order conservativity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-102
-
- Article
- Export citation
Lattice initial segments of the hyperdegrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-130
-
- Article
- Export citation
Limitwise monotonic functions, sets, and degrees on computable domains
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-154
-
- Article
- Export citation
Tait's conservative extension theorem revisited
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-167
-
- Article
- Export citation
A proof of completeness for continuous first-order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-190
-
- Article
- Export citation
Schnorr triviality and genericity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-207
-
- Article
- Export citation
Groups definable in linear o-minimal structures: the non-compact case
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 208-220
-
- Article
- Export citation
A monotonicity theorem for dp-minimal densely ordered groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-238
-
- Article
- Export citation
On the complexity of Gödel's proof predicate
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-254
-
- Article
- Export citation
Notions of compactness for special subsets of ℝI and some weak forms of the axiom of choice
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-268
-
- Article
- Export citation
Uniquely undefinable elements
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-274
-
- Article
- Export citation
Normal triangulations in o-minimal structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-288
-
- Article
- Export citation
The Ackermann functions are not optimal, but by how much?
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-313
-
- Article
- Export citation
An equiconsistency for universal indestructibility
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-322
-
- Article
- Export citation
Baire reductions and good Borel reducibilities
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-345
-
- Article
- Export citation
Groups of small Cantor rank
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-354
-
- Article
- Export citation