Research Article
Embedding first order predicate logic in fragments of intuitionistic logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 705-718
-
- Article
- Export citation
On the complexity of the theories of weak direct powers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 561-573
-
- Article
- Export citation
Countable initial segments of the degrees of unsolvability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-300
-
- Article
- Export citation
An α-finite injury method of the unbounded type1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-17
-
- Article
- Export citation
The theory of the Gödel functionals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 574-582
-
- Article
- Export citation
Models for recursion theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 719-729
-
- Article
- Export citation
The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 18-24
-
- Article
- Export citation
Modal reduction principles
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-312
-
- Article
- Export citation
Omitting types in set theory and arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 25-32
-
- Article
- Export citation
On finite lattices of degrees of constructibility of reals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-322
-
- Article
- Export citation
A complete infinitary logic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 730-746
-
- Article
- Export citation
Hanf numbers for omitting types over particular theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 583-588
-
- Article
- Export citation
Infinitary compactness without strong inaccessibility1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-38
-
- Article
- Export citation
A completeness theorem for Zermelo-Fraenkel set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-327
-
- Article
- Export citation
Comparison of Russell's resolution of the semantical antinomies with that of Tarski
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 747-760
-
- Article
- Export citation
Undecidable properties of finite sets of equations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 589-604
-
- Article
- Export citation
Two variable implicational calculi of prescribed many-one degrees of unsolvability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-44
-
- Article
- Export citation
On definable subsets of p-adic fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-610
-
- Article
- Export citation
Derived rules of inference related to the continuity of effective operations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-336
-
- Article
- Export citation
The work of Kurt Gödel
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-778
-
- Article
- Export citation