1635 results in Bulletin of Symbolic Logic
BSL volume 7 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f9
- Print publication:
- December 2001
-
- Article
-
- You have access
- Export citation
THE ABC'S of Mice
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 485-503
- Print publication:
- December 2001
-
- Article
- Export citation
Neil Immerman. Descriptive complexity. Graduate texts in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xvi + 268 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 525-527
- Print publication:
- December 2001
-
- Article
- Export citation
BSL volume 7 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- December 2001
-
- Article
-
- You have access
- Export citation
Kai F. Wehmeier. Fragments of HA based on Σ1 -induction. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 37–49.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 532
- Print publication:
- December 2001
-
- Article
- Export citation
Thomas Strahm. Autonomous fixed point progressions and fixed point transfinite recursion. 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. 449–464.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-536
- Print publication:
- December 2001
-
- Article
- Export citation
Errata
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 602
- Print publication:
- December 2001
-
- Article
- Export citation
Matthew Foreman. A descriptive view of ergodic theory. Descriptive set theory and dynamical systems, edited by M. Foreman, A. S. Kechris, A. Louveau, and B. Weiss, London Mathematical Society lecture note series, no. 277, Cambridge University Press, Cambridge, New York, etc., 2000, pp. 87–171.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 545-546
- Print publication:
- December 2001
-
- Article
- Export citation
Sy D. Friedman. Fine structure and class forcing. De Gruyter series in logic and its applications, no. 3. Walter de Gruyter, Berlin and New York 2000, x + 221 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 522-525
- Print publication:
- December 2001
-
- Article
- Export citation
G. Aldo Antonelli. Proto-semantics for positive free logic. Journal of philosophical logic, vol. 29 (2000), pp. 277–294.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 531-532
- Print publication:
- December 2001
-
- Article
- Export citation
Second-Order Logic and Foundations of Mathematics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 504-520
- Print publication:
- December 2001
-
- Article
- Export citation
L. Beklemishev. Another pathological well-ordering. 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. 105–108.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 534
- Print publication:
- December 2001
-
- Article
- Export citation
Wolfgang Burr and Volker Hartung. A characterization of the Σ1-definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 532-533
- Print publication:
- December 2001
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 547-550
- Print publication:
- December 2001
-
- Article
- Export citation
Individual Members 2001
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 551-597
- Print publication:
- December 2001
-
- Article
- Export citation
Bruno Poizat. A course in model theory. An introduction to contemporary mathematical logic. English translation by Moses Klein of JSL LVIII 1074. Universitext. Springer, New York, Berlin, Heidelberg, etc., 2000, xxxi + 443 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 521-522
- Print publication:
- December 2001
-
- Article
- Export citation
Greg Hjorth and Alexander S. Kechris. Analytic equivalence relations and Ulm-type classifications. The journal of symbolic logic, vol. 60 (1995), pp. 1273–1300. - Greg Hjorth, Alexander S. Kechris, and Alain Louveau. Borel equivalence relations induced by actions of the symmetric group. Annals of pure and applied logic, vol. 92 (1998), pp. 63–112.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 541-544
- Print publication:
- December 2001
-
- Article
- Export citation
James E. Baumgartner. On the size of closed unbounded sets. Annals of pure and applied logic, vol. 54 (1991), pp. 195–227.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 538-539
- Print publication:
- December 2001
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 598-601
- Print publication:
- December 2001
-
- Article
- Export citation
Randall Dougherty and Matthew Foreman. Banach—Tarski paradox using pieces with the property of Baire. Proceedings of the National Academy of Sciences of the United States of America, vol. 89 (1992), pp. 10726–10728. - Randall Dougherty and Matthew Foreman. Banach—Tarski decompositions using sets with the property of Baire. Journal of the American Mathematical Society, vol. 7 (1994), pp. 75–124.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 537-538
- Print publication:
- December 2001
-
- Article
- Export citation