Research Article
Interpretability in Robinson's Q
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 289-317
-
- Article
- Export citation
Articles
The foundational problem of logic
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 145-198
-
- Article
- Export citation
Descriptive inner model theory
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 1-55
-
- Article
- Export citation
Research Article
Logic in the 1930s: Type Theory and Model Theory
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 433-472
-
- Article
- Export citation
Algorithmic Randomness and Measures of Complexity
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 318-350
-
- Article
- Export citation
Articles
Shift-complex sequences
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 199-215
-
- Article
- Export citation
Non-standard lattices and o-minimal groups
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 56-76
-
- Article
- Export citation
Research Article
Analytic Equivalence Relations and the Forcing Method
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 473-490
-
- Article
- Export citation
Reviews
Ernst Zermelo: Collected Works. Gesammelte Werke. Volume I: Set Theory, Miscellania. Mengenlehre, Varia, edited by H.-D. Ebbinghaus and A. Kanamori, Springer, Berlin and Heidelberg 2010, xxiv + 654 pp.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 491-492
-
- Article
- Export citation
Articles
The hyperuniverse program
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 77-96
-
- Article
- Export citation
Research Article
On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 351-393
-
- Article
- Export citation
Reviews
Motivic integration and its interactions with model theory and non-Archimedean geometry, Volumes I and II, edited by Raf Cluckers, Johannes Nicaise and Julien Sebag, London Mathematical Society Lecture Note Series, 383 and 384. Cambridge University Press, Cambridge, 2011, 346 and 262 pp.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 216-219
-
- Article
- Export citation
Bruno Courcelle and Joost Engelfriet. Graph structure and monadic second-order logic. Encyclopedia of Mathematics and Its Applications, vol. 138. Cambridge University Press, 2012, xiv + 728 pp.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 394-396
-
- Article
- Export citation
Patricia A. Blanchette. Frege's conception of logic. Oxford University Press, 2012. xv + 190 pp.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 219-222
-
- Article
- Export citation
Wadge degrees and projective ordinals. The Cabal Seminar, Volume II, edited by A. S. Kechris, B. Löwe, and J.R. Steel, Lecture Notes in Logic, vol. 37. Association for Symbolic Logic and Cambridge University Press, Cambridge, 2012, xxii + 526 pp.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 492-496
-
- Article
- Export citation
Articles
The Horn theory of Boole's partial algebras
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 97-105
-
- Article
- Export citation
Reviews
Bernard Linsky. The Evolution of Principia Mathematica: Bertrand Russell's manuscripts and notes for the second edition. Cambridge University Press, Cambridge, 2011, vii + 407 pp.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 106-108
-
- Article
- Export citation
Other
2011–2012 Winter Meeting of the Association for Symbolic Logic, John B. Hynes Veterans Memorial Convention Center, Boston Marriott Hotel, and Boston Sheraton Hotel, Boston, MA, January 6–7, 2012
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 223-235
-
- Article
- Export citation
Meeting Report
2012–2013 Winter Meeting of The Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 497-511
-
- Article
- Export citation
Reviews
Mark Colyvan. An introduction to the philosophy of mathematics. Cambridge Introductions to Philosophy. Cambridge University Press, Cambridge, UK, 2012, 198 pp.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 396-397
-
- Article
- Export citation