Reviews
Albert Visser. Submodels of Kripke models. Archive for mathematical logic, vol. 40 (2001), pp. 277–295.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 440-441
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 322-327
-
- Article
- Export citation
Front matter
BSL volume 8 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f9
-
- Article
-
- You have access
- Export citation
Reviews
Michael Rathjen. The superjump in Martin-Löf type theory. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 538
-
- Article
- Export citation
Front matter
BSL volume 8 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f9
-
- Article
-
- You have access
- Export citation
Reviews
Solomon Feferman. Computation on abstract data types. The extensional approach, with an application to streams. Annals of pure and applied logic, vol. 81 (1996), pp. 75–113.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 538-542
-
- Article
- Export citation
Laszlo Fuchs and Saharon Shelah. Kaplansky's problem on valuation rings. Proceedings of the American Mathematical Society, vol. 105 (1989), pp. 25–30. - Paul C. Eklof. A transfer theorem for nonstandard uniserials. Proceedings of the American Mathematical Society, vol. 114 (1992), pp. 593–600. - Paul C. Eklof and Saharon Shelah. On a conjecture regarding nonstandard uniserial modules. Transactions of the American Mathematical Society, vol. 340 (1993), pp. 337–351. - P. C. Eklof and S. Shelah. Explicitly non-standard uniserial modules. Journal of pure and applied algebra, vol. 86 (1993), pp. 35–50.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 441-443
-
- Article
- Export citation
Back matter
BSL volume 8 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Reviews
Saharon Shelah and Hugh Woodin. Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable. Israel journal of mathematics, vol. 70 (1990), pp. 381–394.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 543-545
-
- Article
- Export citation
Back matter
BSL volume 8 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Reviews
Peter J. Nyikos. A provisional solution to the normal Moore space problem. Proceedings of the American Mathematical Society, vol. 78 (1980), pp. 429–435. - William G. Fleissner. If all normal Moore spaces are metrizable, then there is an inner model with a measurable cardinal. Transactions of the American Mathematical Society, vol. 273 (1982), pp. 365–373. - Alan Dow, Franklin D. Tall, and William A. R. Weiss. New proofs of the consistency of the normal Moore space conjecture I. Topology and its applications, vol. 37 (1990), pp. 33–51. - Zoltán Balogh. On collectionwise normality of locally compact, normal spaces. Transactions of the American Mathematical Society, vol. 323 (1991), pp. 389–411.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 443-445
-
- Article
- Export citation
Meeting Report
2002 Spring Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 446-451
-
- Article
- Export citation
Reviews
D. A. Martin and J. R. Steel. Iteration trees. Journal of the American Mathematical Society, vol. 7 (1994), pp. 1–73.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 545-546
-
- Article
- Export citation
Steve Jackson. A new proof of the strong partition relation on ω1. Transactions of the American Mathematical Society, vol. 320 (1990), pp. 737–745. - Steve Jackson. Admissible Suslin cardinals in L(R). The journal of symbolic logic, vol. 56 (1991), pp. 260–275. - Steve Jackson. A computation of . Memoirs of the American Mathematical Society, no. 670. American Mathematical Society, Providence 1999, viii + 94 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 546-548
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 452-456
-
- Article
- Export citation
Front matter
BSL volume 8 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f9
-
- Article
-
- You have access
- Export citation
Reviews
Itay Neeman and Jindřich Zapletal. Proper forcings and absoluteness in L(ℝ). Commentationes mathematicae Universitatis Carolinae, vol. 39 (1998), pp. 281–301. - Itay Neeman and Jindřich Zapletal. Proper forcing and L(ℝ). The journal of symbolic logic, vol. 66 (2001), pp. 801–810.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 548-550
-
- Article
- Export citation
James Cummings. A model in which GCH holds at successors but fails at limits. Transactions of the American Mathematical Society, vol. 329 (1992), pp. 1–39. - James Cummings. Strong ultrapowers and long core models. The journal of symbolic logic, vol. 58 (1993), pp. 240–248. - James Cummings. Coherent sequences versus Radin sequences. Annals of pure and applied logic, vol. 70 (1994), pp. 223–241. - James Cummings, Matthew Foreman, and Menachem Magidor. Squares, scales and stationary reflection. Journal of mathematical logic, vol. 1 (2001), pp. 35–98.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 550-552
-
- Article
- Export citation
Back matter
BSL volume 8 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Reviews
Andreas Blass. Simple cardinal characteristics of the continuum. 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. 63–90.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 552-553
-
- Article
- Export citation