Research Article
Determinacy and the sharp function on objects of type k
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1025-1053
-
- Article
- Export citation
Storage operators and directed lambda-calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1054-1086
-
- Article
- Export citation
The syntax and semantics of entailment in duality theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1087-1114
-
- Article
- Export citation
The axiom of choice for well-ordered families and for families of well-orderable sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1115-1117
-
- Article
- Export citation
The undecidability of the Π4-theory for the r.e. wtt and Turing degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1118-1136
-
- Article
- Export citation
A reflection principle and its applications to nonstandard models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1137-1152
-
- Article
- Export citation
Comparing notions of similarity for uncountable models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1153-1167
-
- Article
- Export citation
Amoeba reals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1168-1185
-
- Article
- Export citation
An induction principle and pigeonhole principles for K-finite sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1186-1193
-
- Article
- Export citation
Embeddability and the word problem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1194-1198
-
- Article
- Export citation
A dichotomy for the definable universe
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1207
-
- Article
- Export citation
Minimal readability of intuitionistic arithmetic and elementary analysis
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1208-1241
-
- Article
- Export citation
The existence of finitely based lower covers for finitely based equational theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1242-1250
-
- Article
- Export citation
The geometry of forking and groups of finite Morley rank
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1251-1259
-
- Article
- Export citation
Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1260-1272
-
- Article
- Export citation
Analytic equivalence relations and Ulm-type classifications
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1273-1300
-
- Article
- Export citation
An analogue of Hilbert's tenth problem for p-adic entire functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1301-1309
-
- Article
- Export citation
Reviews
Geoffrey Hellman. Mathematics without numbers. Towards a modal-structural interpretation. Clarendon Press, Oxford University Press, Oxford and New York1989, xi + 154 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1310-1312
-
- Article
- Export citation
Jody Azzouni. Metaphysical myths, mathematical practice. The ontology and epistemology of the exact sciences. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, ix + 249 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1312-1314
-
- Article
- Export citation
Anil Gupta and Nuel Belnap. The revision theory of truth. Bradford books. The MIT Press, Cambridge, Mass., and London, 1993, xii + 299 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1314-1316
-
- Article
- Export citation