Research Article
Hindman's theorem, ultrafilters, and reverse mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-72
-
- Article
- Export citation
A finite model-theoretical proof of a property of bounded query classes within PH
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1105-1116
-
- Article
- Export citation
Bi-isolation in the d.c.e. degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-420
-
- Article
- Export citation
Every polynomial-time 1-degree collapses if and only if P = PSPACE
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-741
-
- Article
- Export citation
A partial analysis of modified realizability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-429
-
- Article
- Export citation
Solovay models and forcing extensions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 742-766
-
- Article
- Export citation
Generic Σ31 absoluteness
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-80
-
- Article
- Export citation
Bounding prime models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1117-1142
-
- Article
- Export citation
Two step iteration of almost disjoint families
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-90
-
- Article
- Export citation
Degree spectra of prime models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 430-442
-
- Article
- Export citation
The Mitchell order below rank-to-rank
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1162
-
- Article
- Export citation
Patterns of paradox
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-774
-
- Article
- Export citation
Valuation theoretic content of the Marker-Steinhorn theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-93
-
- Article
- Export citation
Formalized token models and duality in semantics: an algebraic approach
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 443-477
-
- Article
- Export citation
Leibnizian models of set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 775-789
-
- Article
- Export citation
There is no SW-complete c.e. real
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1163-1170
-
- Article
- Export citation
Bi-coloured fields on the complex numbers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1186
-
- Article
- Export citation
On the intuitionistic strength of monotone inductive definitions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 790-798
-
- Article
- Export citation
A weak variation of shelah's I[ω2]
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-100
-
- Article
- Export citation
On a question of Herzog and Rothmaler
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-481
-
- Article
- Export citation