1635 results in Bulletin of Symbolic Logic
Degree Spectra of Relations on Computable Structures
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 197-212
- Print publication:
- June 2000
-
- Article
- Export citation
Lou van den Dries. Tame topology and o-minimal structures. London Mathematical Society lecture note series, no. 248. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1998, x + 180 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 216-218
- Print publication:
- June 2000
-
- Article
- Export citation
Proper Forcing and Remarkable Cardinals
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 176-184
- Print publication:
- June 2000
-
- Article
- Export citation
BSL volume 6 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f8
- Print publication:
- June 2000
-
- Article
-
- You have access
- Export citation
Defeasible deontic logic, edited by Donald Nute, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 89-94
- Print publication:
- March 2000
-
- Article
- Export citation
Saharon Shelah. Proper and improper forcing. Second edition of JSL L 237. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1998, xlvii + 1020 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 83-86
- Print publication:
- March 2000
-
- Article
- Export citation
BSL volume 6 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 20 July 2016, pp. f1-f2
- Print publication:
- March 2000
-
- Article
-
- You have access
- Export citation
1999 European Summer Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 103-137
- Print publication:
- March 2000
-
- Article
- Export citation
Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 67-82
- Print publication:
- March 2000
-
- Article
- Export citation
In Memoriam: Kurt Schütte 1909–1998
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 20 July 2016, pp. 101-102
- Print publication:
- March 2000
-
- Article
-
- You have access
- Export citation
BSL volume 6 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 20 July 2016, pp. b1-b5
- Print publication:
- March 2000
-
- Article
-
- You have access
- Export citation
Jean Goubault-Larrecq and Ian Mackie. Proof theory and automated deduction. Applied logic series, vol. 6. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, xv + 424 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 94-95
- Print publication:
- March 2000
-
- Article
- Export citation
In Memoriam: Jerzy łoś 1920–1998
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 20 July 2016, pp. 97-100
- Print publication:
- March 2000
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 138-144
- Print publication:
- March 2000
-
- Article
- Export citation
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-44
- Print publication:
- March 2000
-
- Article
- Export citation
Jan Dejnožka. Bertrand Russell on modality and logical relevance. Avebury series in philosophy. Ashgate, Aldershot, Brookfield, Vt., etc., 1999, ix + 241 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 95-96
- Print publication:
- March 2000
-
- Article
- Export citation
Towards a Re-Evaluation of Julius König's Contribution to Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 45-66
- Print publication:
- March 2000
-
- Article
- Export citation
Arthur W. Apter. On the least strongly compact cardinal. Israel journal of mathematics, vol. 35 (1980), pp. 225–233. - Arthur W. Apter. Measurability and degrees of strong compactness. The journal of symbolic logic, vol. 46 (1981), pp. 249–254. - Arthur W. Apter. A note on strong compactness and supercompactness. Bulletin of the London Mathematical Society, vol. 23 (1991), pp. 113–115. - Arthur W. Apter. On the first n strongly compact cardinals. Proceedings of the American Mathematical Society, vol. 123 (1995), pp. 2229–2235. - Arthur W. Apter and Saharon Shelah. On the strong equality between supercompactness and strong compactness.. Transactions of the American Mathematical Society, vol. 349 (1997), pp. 103–128. - Arthur W. Apter and Saharon Shelah. Menas' result is best possible. Ibid., pp. 2007–2034. - Arthur W. Apter. More on the least strongly compact cardinal. Mathematical logic quarterly, vol. 43 (1997), pp. 427–430. - Arthur W. Apter. Laver indestructibility and the class of compact cardinals. The journal of symbolic logic, vol. 63 (1998), pp. 149–157. - Arthur W. Apter. Patterns of compact cardinals. Annals of pure and applied logic, vol. 89 (1997), pp. 101–115. - Arthur W. Apter and Moti Gitik. The least measurable can be strongly compact and indestructible. The journal of symbolic logic, vol. 63 (1998), pp. 1404–1412.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 86-89
- Print publication:
- March 2000
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 5 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 15 January 2014, pp. 573-580
- Print publication:
- December 1999
-
- Article
- Export citation
BSL volume 5 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 5 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- December 1999
-
- Article
-
- You have access
- Export citation