Research Article
The Prospects for Mathematical Logic in the Twenty-First Century
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 169-196
-
- Article
- Export citation
Tautologies from Pseudo-Random Generators
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 197-212
-
- Article
- Export citation
On the Unusual Effectiveness of Logic in Computer Science
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-236
-
- Article
- Export citation
Relations Between Some Cardinals in the Absence of the Axiom of Choice
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 237-261
-
- Article
- Export citation
Grothendieck Rings of ℤ-Valued Fields
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 262-269
-
- Article
- Export citation
Reviews
In the light of logic, by Solomon Feferman, Logic and computation in philosophy, Oxford University Press, New York, Oxford, etc., 1998, xii + 340 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 270-277
-
- Article
- Export citation
José Ferreirós. Labyrinth of thought. A history of set theory and its role in modern mathematics. Science networks, vol. 23. Birkhäuser Verlag, Basel, Boston, and Berlin, 1999, xxi + 440 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 277-278
-
- Article
- Export citation
Marcus Kracht. Tools and techniques in modal logic. Studies in logic and the foundations of mathematics, vol. 142. Elsevier, Amsterdam etc. 1999, xiii + 559 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 278-279
-
- Article
- Export citation
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of JSL LXIII 1605. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, etc., 2000, xii + 417 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 280
-
- Article
- Export citation
Ulrich Kohlenbach. Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Archive for mathematical logic, vol. 36 (1996), pp. 31–71.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 280-281
-
- Article
- Export citation
Paul Erdőos, Vance Faber, and Jean Larson Sets of natural numbers of positive density and cylindric set algebras of dimension 2. Algebra universalis, vol. 12 (1981), pp. 81–92. - Jean A. Larson The number of one-generated diagonal-free cylindric set algebras of finite dimension greater than two. Algebra universalis, vol. 16 (1983), pp. 1–16. - Jean A. Larson The number of finitely generated infinite cylindric set algebras of dimension two. Algebra universalis, vol. 19 (1984), pp. 377–396. - Jean A. Larson The number of one-generated cylindric set algebras of dimension greater than two. The journal of symbolic logic, vol. 50 (1985), pp. 59–71.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 281-283
-
- Article
- Export citation
Uri Abraham. Aronszajn trees on ℵ2 and ℵ3 . Annals of pure and applied logic, vol. 24 (1983), pp. 213–230. - James Cummings and Matthew Foreman. The tree property. Advances in mathematics, vol. 133 (1998), pp. 1–32. - Menachem Magidor and Saharon Shelah. The tree property at successors of singular cardinals. Archive for mathematical logic, vol. 35 (1996), pp. 385–404.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 283-285
-
- Article
- Export citation
Fred Appenzeller. An independence result in quadratic form theory: infinitary combinatorics applied to ε-Hermitian spaces. The journal of symbolic logic, vol. 54 (1989), pp. 689–699. - Otmar Spinas. Linear topologies on sesquilinear spaces of uncountable dimension. Fundamenta mathematicae, vol. 139 (1991), pp. 119–132. - James E. Baumgartner, Matthew Foreman, and Otmar Spinas. The spectrum of the Γ-invariant of a bilinear space. Journal of algebra, vol. 189 (1997), pp. 406–418. - James E. Baumgartner and Otmar Spinas. Independence and consistency proofs in quadratic form theory. The journal of symbolic logic, vol. 56 (1991), pp. 1195–1211. - Otmar Spinas. Iterated forcing in quadratic form theory. Israel journal of mathematics, vol. 79 (1992), pp. 297–315. - Otmar Spinas. Cardinal invariants and quadratic forms. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by the American Mathematical Society, Providence, pp. 563–581. - Saharon Shelah and Otmar Spinas. Gross spaces. Transactions of the American Mathematical Society, vol. 348 (1996), pp. 4257–4277.
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. 285-286
-
- Article
- Export citation
Meeting Report
Australasian Association for Logic 2000 Annual Conference
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 287-290
-
- Article
- Export citation
International Conference on Theoretical Computer Science (IFIP TCS2000)
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 291-292
-
- Article
- Export citation
Other
7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000)
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 293-294
-
- Article
- Export citation
Meeting Report
XII Brazilian Logic Conference
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 295
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 296-299
-
- Article
- Export citation
Front matter
BSL volume 7 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
-
- Article
-
- You have access
- Export citation
Back matter
BSL volume 7 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation