Research Article
Splitting theorems for speed-up related to order of enumeration1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-7
-
- Article
- Export citation
On homogeneity and definability in the first-order theory of the Turing degrees1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 8-16
-
- Article
- Export citation
Completeness, invariance and λ-definability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-26
-
- Article
- Export citation
An introduction to ω-extensions of ω-groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 27-36
-
- Article
- Export citation
Forcing with stable posets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 37-42
-
- Article
- Export citation
On hereditarily countable sets1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-47
-
- Article
- Export citation
An invariance notion in recursion theory1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 48-66
-
- Article
- Export citation
Recursion theory and the lambda-calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-83
-
- Article
- Export citation
Supercompact cardinals, elementary embeddings and fixed points1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-88
-
- Article
- Export citation
Supercompact cardinals and trees of normal ultrafilters1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 89-109
-
- Article
- Export citation
Conservative reduction classes of Krom formulas1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-130
-
- Article
- Export citation
On the consistency of an impredicative subsystem of Quine's NF
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-136
-
- Article
- Export citation
Ultrafilters on spaces of partitions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-146
-
- Article
- Export citation
Dimension theory and homogeneity for elementary extensions of a model
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-160
-
- Article
- Export citation
A measure representation theorem for strong partition cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-168
-
- Article
- Export citation
Simplicity in effective topology
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-183
-
- Article
- Export citation
Implicational logics in natural deduction systems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-186
-
- Article
- Export citation
On generalized quantifiers in arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-190
-
- Article
- Export citation
Extremely undecidable sentences
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-196
-
- Article
- Export citation
Reviews
Reviews - Selected papers of Abraham Robinson. Volume 1. Model theory and algebra. Edited and with an introduction by H. J. Keisler. Yale University Press, New Haven and London1979, xxxvii + 694 pp. - George B. Selioman. Biography of Abraham Robinson, pp. xiii–xxxii. - H. J. Keisler. Introduction, pp. xxxiii–xxxvii. - Abraham Robinson. On the application of symbolic logic to algebra, pp. 3–11. A reprint of XVIII 182. - Abraham Robinson. Recent developments in model theory, pp. 12–31. A reprint of XL 269. - Abraham Robinson. On the construction of models, pp. 32–42. A reprint of XL 506. - Abraham Robinson, Metamathematical problems, pp. 43–59. (Reprinted from The journal of symbolic logic, vol. 38 (1973), pp. 500–516.) - Abraham Robinson. Model theory as a framework for algebra, pp. 60–83. (Reprinted from Studies in model theory, edited by M. D. Morley, Studies in mathematics, vol. 8, The Mathematical Association of America, Washington, D.C., 1973, pp. 134–157.) - Abraham Robinson. A result on consistency and its application to the theory of definition, pp. 87–98. A reprint of XXV 174. - Abraham Robinson. Ordered structures and related concepts, pp. 99–104. A reprint of XXV 170.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 197-203
-
- Article
- Export citation