Research Article
Isomorphism of structures in S-toposes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-459
-
- Article
- Export citation
The upper semilattice of degrees ≤ 0′ is complemented
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-713
-
- Article
- Export citation
Countable functionals and the projective hierarchy
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-215
-
- Article
- Export citation
Hyper-torre isols
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-5
-
- Article
- Export citation
La logique des topos
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 6-16
-
- Article
- Export citation
Degrees joining to 0′
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-722
-
- Article
- Export citation
Busy beaver sets and the degrees of unsolvability1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-474
-
- Article
- Export citation
A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 216-232
-
- Article
- Export citation
Degrees of Structures1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 723-731
-
- Article
- Export citation
An axiomatic version of positive semilattice relevance logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-239
-
- Article
- Export citation
Ordinal analysis of simple cases of bar recursion
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-30
-
- Article
- Export citation
First-order topological axioms
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-489
-
- Article
- Export citation
Implicational complexity in intuitionistic arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-248
-
- Article
- Export citation
The metamathematics of model theory: Discovering language in action
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-498
-
- Article
- Export citation
The κ-closed unbounded filter and supercpmpact cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 31-40
-
- Article
- Export citation
The model of set theory generated by countably many generic reals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 732-752
-
- Article
- Export citation
Determinateness and the separation property
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-44
-
- Article
- Export citation
Measurability and degrees of strong compactness1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-254
-
- Article
- Export citation
Upper bounds on locally countable admissible initial segments of a Turing degree hierarchy1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 753-760
-
- Article
- Export citation
Preservation of saturation and stability in a variety of nilpotent groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 499-512
-
- Article
- Export citation