Research Article
Ramsey's theorem in the hierarchy of choice principles
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-390
-
- Article
- Export citation
A complete Lω1ω-sentence characterizing ℵ1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-62
-
- Article
- Export citation
On splitting stationary subsets of large cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 203-214
-
- Article
- Export citation
Consistency notions in illative combinatory logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-529
-
- Article
- Export citation
The consistency problem for NF
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-220
-
- Article
- Export citation
Modal operators and functional completeness, II1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-399
-
- Article
- Export citation
On axiomatizing fragments
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 530-544
-
- Article
- Export citation
A remark on Scott's interpolation theorem for Lω1ω
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
-
- Article
- Export citation
Fragments of first order logic, I: universal Horn logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-237
-
- Article
- Export citation
Embedding theorems for boolean algebras and consistency results on ordinal definable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-76
-
- Article
- Export citation
Computational complexity, speedable and levelable sets1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 545-563
-
- Article
- Export citation
Maximal and Cohesive vector spaces1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 400-418
-
- Article
- Export citation
Reviews
J. W. de Barker. The fixed point approach in semantics: theory and applications. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 1–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
-
- Article
- Export citation
Research Article
Primitive recursive ordinal functions with added constants1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-82
-
- Article
- Export citation
The use of Kripke's schema as a reduction principle
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-240
-
- Article
- Export citation
An intuitionistically plausible interpretation of intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 564-578
-
- Article
- Export citation
Reviews
E. Engeler. Algorithmic logic. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 55–85.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 420-421
-
- Article
- Export citation
Research Article
Partially ordered interpretations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-93
-
- Article
- Export citation
Reviews
Hao Wang. From mathematics to philosophy. International library of philosophy and scientific method. Humanities Press, New York1974, xiv + 428 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-580
-
- Article
- Export citation
Research Article
Sheaves and normal submodels
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-250
-
- Article
- Export citation