1635 results in Bulletin of Symbolic Logic
Gödel, Tarski, Church, and The Liar
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 3-25
- Print publication:
- March 2003
-
- Article
- Export citation
2002 Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 51-70
- Print publication:
- March 2003
-
- Article
- Export citation
U. Berger, W. Buchholz, and H. Schwichtenberg. Refined program extraction from classical proofs. Annals of pure and applied logic, vol. 114 (2002), pp. 3–25.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 47-48
- Print publication:
- March 2003
-
- Article
- Export citation
BSL volume 9 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b9
- Print publication:
- March 2003
-
- Article
-
- You have access
- Export citation
BSL volume 9 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
- Print publication:
- March 2003
-
- Article
-
- You have access
- Export citation
Alexis Bès. Decidability and definability results related to the elementary theory of ordinal multiplication. Fundamenta Mathematica, vol. 171 (2002), pp. 197–211.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 49-50
- Print publication:
- March 2003
-
- Article
- Export citation
F. A. Muller. Sets, classes, and categories. British Journal for the Philosophy of Science, vol. 52 (2001), pp. 539–573.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 43-44
- Print publication:
- March 2003
-
- Article
- Export citation
Jeremy Avigad. Update procedures and the 1-consistency of arithmetic. Mathematical Logic Quarterly, vol. 48 (2002), pp. 3–13.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 45-47
- Print publication:
- March 2003
-
- Article
- Export citation
Tomasz Placek. Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism. Synthese library, vol. 279. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1999, xii + 218 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 518-520
- Print publication:
- December 2002
-
- Article
- Export citation
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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 538-542
- Print publication:
- December 2002
-
- Article
- Export citation
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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 552-553
- Print publication:
- December 2002
-
- Article
- Export citation
Grigori Mints. A short introduction to intuitionistic logic. The university series in mathematics. Kluwer Academic/Plenum Publishers, New York etc. 2000, ix + 131 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 520-521
- Print publication:
- December 2002
-
- Article
- Export citation
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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, p. 538
- Print publication:
- December 2002
-
- Article
- Export citation
Toshiyasu Arai. Consistency proof via pointwise induction. Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 149–165.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 536-537
- Print publication:
- December 2002
-
- Article
- Export citation
Sven Ove Hansson. The structure of values and norms. Cambridge studies in probability, induction, and decision theory. Cambridge University Press, Cambridge, New York, etc., 2001, xiii + 314 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 531-533
- Print publication:
- December 2002
-
- Article
- Export citation
Richard Laver. The left distributive law and the freeness of an algebra of elementary embeddings. Advances in mathematics, vol. 91 (1992), pp. 209–231. - Richard Laver. A division algorithm for the free left distributive algebra. Logic Colloquium '90, ASL summer meeting in Helsinki, edited by J. Oikkonen and J. Väänänen, Lecture notes in logic, no. 2, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, pp. 155–162. - Richard Laver. On the algebra of elementary embeddings of a rank into itself. Advances in mathematics, vol. 110 (1995), pp. 334–346. - Richard Laver. Braid group actions on left distributive structures, and well orderings in the braid groups. Journal of pure and applied algebra, vol. 108 (1996), pp. 81–98. - Patrick Dehornoy. An alternative proof of Laver's results on the algebra generated by an elementary embedding. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematics Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin, Heidelberg, etc., 1992, pp. 27–33. - Patrick Dehornoy. Braid groups and left distributive operations. Transactions of the American Mathematical Society, vol. 345 (1994), pp. 115–150. - Patrick Dehornoy. A normal form for the free left distributive law. International journal of algebra and computation, vol. 4 (1994), pp. 499–528. - Patrick Dehornoy. From large cardinals to braids via distributive algebra. Journal of knot theory and its ramifications, vol. 4 (1995), pp. 33–79. - J. R. Steel. The well-foundedness of the Mitchell order. The journal of symbolic logic, vol. 58 (1993), pp. 931–940. - Randall Dougherty. Critical points in an algebra of elementary embeddings. Annals of pure and applied logic, vol. 65 (1993), pp. 211–241. - Randall Dougherty. Critical points in an algebra of elementary embeddings, II. Logic: from foundations to applications, European logic colloquium, edited by Wilfrid Hodges, Martin Hyland, Charles Steinhorn, and John Truss, Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, pp. 103–136. - Randall Dougherty and Thomas Jech. Finite left-distributive algebras and embedding algebras. Advances in mathematics, vol. 130 (1997), pp. 201–241.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 555-560
- Print publication:
- December 2002
-
- Article
- Export citation
Index of Reviews
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 561-572
- Print publication:
- December 2002
-
- 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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 546-548
- Print publication:
- December 2002
-
- Article
- Export citation
Davide Sangiorgi and David Walker. The π-calculus: a theory of mobile processes. Cambridge University Press, Cambridge, New York, etc., 2001, xii + 580 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 530-531
- Print publication:
- December 2002
-
- Article
- Export citation
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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 543-545
- Print publication:
- December 2002
-
- Article
- Export citation