Contents
Reviews
Jouko Väänänen. Models and games. Cambridge Studies in Advanced Mathematics, vol. 132. Cambridge University Press, Cambridge, 2011, xii + 367 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 406-408
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 581-585
-
- Article
- Export citation
Reviews
Foundational theories of classical and constructive mathematics, edited by Giovanni Sommaruga, Springer, 2011. xi + 314 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 128-131
-
- Article
- Export citation
Allen L. Mann, Gabriel Sandu and Merlijn Sevenster. Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, Vol. 386. Cambridge University Press, Cambridge, England, 2011, vi + 208 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 272-273
-
- Article
- Export citation
Alasdair Urquhart. Henry M. Sheffer and notational relativity. History and Philosophy of Logic, vol. 33 (2012), pp. 33–47.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 408-409
-
- Article
- Export citation
Ivan Welty. Frege on indirect proof. History and Philosophy of Logic, Vol. 32 (2011), pp. 283–290.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 273-274
-
- Article
- Export citation
Other
Individual Members 2012
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 586-639
-
- Article
- Export citation
Reviews
S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 (1975), no. 6, pp. 392–409. - S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 (1977), no. 3, pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 (1980), no. 1, pp. 28–37. - J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 (1981), no. 2, pp. 387–391. - Terrence Millar. Recursive categoricity and persistence. The Journal of Symbolic Logic, vol. 51 (1986), no. 2, pp. 430–434. - Peter Cholak, Segey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. Computably categorical structures and expansions by constants. The Journal of Symbolic Logic, vol. 64 (1999), no. 1, pp. 13–137. - Peter Cholak, Richard A. Shore and Reed Solomon. A computably stable structure with no Scott family of finitary formulas. Archive for Mathematical Logic, vol. 45 (2006), no. 5, pp. 519–538. - Chris Ash, Julia Knight, Mark Manasse and Theodore Slaman. Generic copies of countable structures. Annals of Pure and Applied Logic, vol. 42 (1989), no. 3, pp. 195–205. - John Chisholm. Effective model theory vs. recursive model theory. The Journal of Symbolic Logic, vol. 55 (1990), no. 3, pp. 1168–1191.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 131-134
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. 640-644
-
- Article
- Export citation
Meeting Report
2011 Spring Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 135-141
-
- Article
- Export citation
Reviews
George Barmpalias, Andrew E. M. Lewis and Keng Meng NG. The importance of Π01 classes in effective randomness. The Journal of Symbolic Logic, vol. 75 (2010), pp. 387–400. - George Barmpalias, Andrew E. M. Lewis and Frank Stephan. Π01 classes, LR degrees and Turing degrees. Annals of Pure and Applied Logic, vol. 156 (2008), pp. 21–38. - Antonin Kučera. Measure, Π01 classes and complete extensions of PA. Recursion Theory Week (Oberwofach, 1984). Lecture Notes in Mathematics, vol. 1141. Springer, Berlin, 1985, pp. 245–259. - Frank Stephan. Martin-Löf randomness and PA complete sets. Logic Colloquium '02. Lecture Notes in Logic, vol. 27, Association for Symbolic Logic, La Jolla, CA, 2006, pp. 342–348.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 409-412
-
- Article
- Export citation
Meeting Report
2011 North American Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 275-305
-
- Article
- Export citation
2010–2011 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 142-149
-
- Article
- Export citation
Front matter
BSL volume 18 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Obituary
In Memoriam: Ernst Specker 1920–2011
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 413-417
-
- Article
-
- You have access
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 306-310
-
- Article
- Export citation
Meeting Report
2011 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '11
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 418-476
-
- Article
- Export citation
Back matter
BSL volume 18 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 September 2014, pp. b1-b6
-
- Article
-
- You have access
- Export citation
Erratum
Erratum
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 311
-
- Article
-
- You have access
- Export citation
Meeting Report
XVI brazilian Logic Conference
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 150-151
-
- Article
- Export citation