Research Article
Generic trees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-726
-
- Article
- Export citation
Degree theoretic definitions of the low2 recursively enumerable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 727-756
-
- Article
- Export citation
The finite model property in tense logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 757-774
-
- Article
- Export citation
Perfect extensions and derived algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 775-796
-
- Article
- Export citation
Defining multiplication in o-minimal expansions of the additive reals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 797-816
-
- Article
- Export citation
On o-minimal expansions of Archimedean ordered groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 817-831
-
- Article
- Export citation
A solution to the completeness problem for weakly aggregative modal logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 832-842
-
- Article
- Export citation
Canonical forms for definable subsets of algebraically closed and real closed valued fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 843-860
-
- Article
- Export citation
Pretopologies and completeness proofs
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 861-878
-
- Article
- Export citation
A special class of almost disjoint families
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 879-891
-
- Article
- Export citation
Some questions concerning the cofinality of Sym(κ)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 892-897
-
- Article
- Export citation
Separably closed fields with higher derivations I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 898-910
-
- Article
- Export citation
A sheaf representation and duality for finitely presented Heyting algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 911-939
-
- Article
- Export citation
Superatomic Boolean algebras constructed from morasses
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 940-951
-
- Article
- Export citation
Tailoring recursion for complexity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 952-969
-
- Article
- Export citation
Expressibility of properties of relations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 970-991
-
- Article
- Export citation
A model in which every Boolean algebra has many subalgebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 992-1004
-
- Article
- Export citation
Reviews
Modalities, Philosophical essays. by Ruth Barcan Marcus, Oxford University Press, New York and Oxford1993, xiv + 266 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1005-1009
-
- Article
- Export citation
Mathematics and mind, edited by Alexander George, Logic and computation in philosophy, Oxford University Press, New York and Oxford1994, ix + 204 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1009-1012
-
- Article
- Export citation
Clark Glymour. Thinking things through. An introduction to philosophical issues and achievements. Bradford books. The MIT Press, Cambridge, Mass., and London, 1992, xi + 382 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1012-1013
-
- Article
- Export citation