Research Article
Gentzen's Proof Systems: Byproducts in a Work of Genius
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 313-367
-
- Article
- Export citation
A Survey of Mučnik and Medvedev Degrees
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 161-229
-
- Article
- Export citation
The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-45
-
- Article
- Export citation
Articles
The philosophy of logic
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 481-504
-
- Article
- Export citation
Fifty years of the spectrum problem: survey and new results
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 505-553
-
- Article
- Export citation
Research Article
In Praise of Replacement
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 46-90
-
- Article
- Export citation
On Tarski's Foundations of the Geometry of Solids
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 230-260
-
- Article
- Export citation
Model Theory of Analytic Functions: Some Historical Comments
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 368-381
-
- Article
- Export citation
Vaught's Theorem on Axiomatizability by a Scheme
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 382-402
-
- Article
- Export citation
The Stable core
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 261-267
-
- Article
- Export citation
Articles
The graph-theoretic approach to descriptive set theory
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 554-575
-
- Article
- Export citation
Research Article
Second Order Logic or Set Theory?
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 91-121
-
- Article
- Export citation
Reviews
Leon Horsten. The Tarskian Turn: deflationism and axiomatic truth. MIT Press, Cambridge, Massachusetts, 2011, xii + 157 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 403-405
-
- Article
- Export citation
Games, scales, and Suslin cardinals. The Cabal Seminar, Volume I, edited by A. S. Kechris, B. Löwe, and J. R. Steel, Lecture Notes in Logic, vol. 31. Association for Symbolic Logic and Cambridge University Press, Cambridge, 2008, xi + 445 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 122-126
-
- Article
- Export citation
Jan Krajíček. Forcing with random variables and proof complexity. London Mathematical Society Lecture Note Series, vol. 232. Cambridge University Press, 2011, xvi + 247 pp.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 576-578
-
- Article
- Export citation
The development of modern logic, edited by Leila Haaparanta, Oxford University Press, 2009. x + 999 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 268-270
-
- Article
- Export citation
Alexis G. Burgess and John P. Burgess. Truth. Princeton Foundations of Contemporary Philosophy. Princeton University Press, Princeton, 2011, xiv + 158 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 271-272
-
- Article
- Export citation
Rodney G. Downey and Denis R. Hirschfeldt. Algorithmic randomness and complexity. Theory and Applications of Computability. Springer, 2010, xxviii + 855 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 126-128
-
- Article
- Export citation
Enrique Casanovas. Simple theories and hyperimaginaries. Lecture Notes in Logic, vol. 39. ASL and Cambridge University Press, Cambridge, 2011, 184 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 405-406
-
- Article
- Export citation
Jeffrey Shallit and Ming-Wei Wang. Automatic complexity of strings. Journal of Automata, Languages and Combinatorics, vol. 6 (2001), pp. 537–554. - Cristian S. Calude, Kai Salomaa and Tania K. Roblot. Finite-state complexity and randomness. Theoretical Computer Science, vol. 412 (2011), no. 41, pp. 5668–5677. - Cristian S. Calude, Kai Salomaa and Tania K. Roblot. State-size hierarchy for finite-state complexity. International Journal of Foundations of Computer Science, vol. 23 (2012), no. 1, pp. 37–50.
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 579-580
-
- Article
- Export citation