Research Article
Axiomatization of polynomial substitution algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-492
-
- Article
- Export citation
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
Iterated reflection principles and the ω-rule
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 721-733
-
- Article
- Export citation
Index sets and degrees of unsolvability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-248
-
- Article
- Export citation
Addendum
Recursively saturated nonstandard models of arithmetic; addendum
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 493-494
-
- Article
- Export citation
Research Article
Preservation of elementary equivalence under scalar extension1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 734-738
-
- 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
On the category of models of a complete theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-266
-
- Article
- Export citation
Probabilities over rich languages, testing and randomness
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 495-548
-
- Article
- Export citation
Constructible lattices of c-degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 739-754
-
- Article
- Export citation
On decomposition of Gödelnumberings into Friedbergnumberings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-274
-
- Article
- Export citation
Completeness, invariance and λ-definability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-26
-
- Article
- Export citation
Reflecting stationary sets1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-771
-
- Article
- Export citation
An introduction to ω-extensions of ω-groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 27-36
-
- Article
- Export citation
Universal diophantine equation
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-571
-
- Article
- Export citation
The Baire category theorem and cardinals of countable cofinality
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-288
-
- Article
- Export citation
Real-valued models with metric equality and uniformly continuous predicates
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 772-792
-
- Article
- Export citation
Some contributions to definability theory for languages with generalized quantifiers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 572-586
-
- Article
- Export citation
Intensional logic in extensional language
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-328
-
- Article
- Export citation
Forcing with stable posets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 37-42
-
- Article
- Export citation