Research Article
Simplified morasses
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-271
-
- Article
- Export citation
An extension of the nondiamond theorem in classical and α-recursion theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-607
-
- Article
- Export citation
Finite level Borel games and a problem concerning the jump hierarchy
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1301-1318
-
- Article
- Export citation
Some remarks on initial segments in models of Peano arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 955-960
-
- Article
- Export citation
The hereditary partial effective functionals and recursion theory in higher types1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1319-1332
-
- Article
- Export citation
Ordinal definability in Jensen's model
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-620
-
- Article
- Export citation
Regularity in models of arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-280
-
- Article
- Export citation
Accessible sets and (Lω1ω)t-equivalence for T3 spaces
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 961-967
-
- Article
- Export citation
Reviews
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 968-971
-
- Article
- Export citation
Research Article
Arithmetic and the theory of types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 621-624
-
- Article
- Export citation
Decidable properties of finite sets of equations in trivial languages
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1333-1338
-
- Article
- Export citation
Commutative regular rings and Boolean-valued fields
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-297
-
- Article
- Export citation
Reviews
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 971-975
-
- Article
- Export citation
Research Article
How to glue analysis models
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1339-1349
-
- Article
- Export citation
Algebraic theories with definable Skolem functions
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-629
-
- Article
- Export citation
A minimal degree which collapses ω1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-300
-
- Article
- Export citation
Reviews
H. P. Barendregt. The lambda calculus. Its syntax and semantics. Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-303
-
- Article
- Export citation
Research Article
Church's thesis, continuity, and set theory
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 630-643
-
- Article
- Export citation
Reviews
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 975-980
-
- Article
- Export citation
Research Article
Closed sets and chain conditions in stable theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1350-1362
-
- Article
- Export citation