Research Article
Characterizing rosy theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 919-940
-
- Article
- Export citation
Combinatorial principles weaker than Ramsey's Theorem for pairs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-206
-
- Article
- Export citation
Successor-invariant first-order logic on finite structures
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 601-618
-
- Article
- Export citation
There may be infinitely many near-coherence classes under u < ∂
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1228-1238
-
- Article
- Export citation
Burgess’ PV is Robinson’s Q
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-624
-
- Article
- Export citation
Red fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 207-225
-
- Article
- Export citation
Lower bounds for modal logics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 941-958
-
- Article
- Export citation
Flag algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1239-1282
-
- Article
- Export citation
Transfer principle in quantum set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-648
-
- Article
- Export citation
Relational structures constructible by quantifier free definable operations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1283-1298
-
- Article
- Export citation
Power set modulo small, the singular of uncountable cofinality
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-242
-
- Article
- Export citation
Approximate counting in bounded arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 959-993
-
- Article
- Export citation
NP search problems in low fragments of bounded arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-672
-
- Article
- Export citation
The logic of interactive turing reduction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-276
-
- Article
- Export citation
Parallel interpolation, splitting, and relevance in belief change
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 994-1002
-
- Article
- Export citation
The ground axiom
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1299-1317
-
- Article
- Export citation
Π10 classes and strong degree spectra of relations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1003-1018
-
- Article
- Export citation
A note on subsystems of open induction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1318-1322
-
- Article
- Export citation
Relation algebra reducts of cylindric algebras and complete representations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-703
-
- Article
- Export citation
Elementary differences between the (2p)-C. E. and the (2p +1)-c. e. enumeration degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-284
-
- Article
- Export citation