1635 results in Bulletin of Symbolic Logic
15th International Symposium on Temporal Repres Entati on and Reasoning (Time 2008)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 377-378
- Print publication:
- September 2009
-
- Article
- Export citation
XIV Latin American Symposium on Mathematical Logic (SLALM)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 332-376
- Print publication:
- September 2009
-
- Article
- Export citation
BSL volume 15 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- June 2009
-
- Article
-
- You have access
- Export citation
Peter Smith. An introduction to Gödel's theorems. Cambridge Introductions to Philosophy, Cambridge University Press, 2007, xiv + 362 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 218-222
- Print publication:
- June 2009
-
- Article
- Export citation
Automatic Continuity of Group Homomorphisms
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 184-214
- Print publication:
- June 2009
-
- Article
- Export citation
Borel Reductibility and Classification of von Neumann Algebras
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 169-183
- Print publication:
- June 2009
-
- Article
- Export citation
2008 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 229-236
- Print publication:
- June 2009
-
- Article
- Export citation
When are Two Algorithms the Same?
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 145-168
- Print publication:
- June 2009
-
- Article
- Export citation
BSL volume 15 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- June 2009
-
- Article
-
- You have access
- Export citation
James H. Schmerl. Peano models with many generic classes. Pacific Journal of Mathematics, vol. 43 (1973), pp. 523–536. - James H. Schmerl. Correction to: “Peano models with many generic classes”. Pacific Journal of Mathematics, vol. 92 (1981), no. 1, pp. 195–198. - James H. Schmerl. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979–80. Recursively saturated, rather classless models of Peano arithmetic. Logic Year 1979–80 (Proceedings, Seminars, and Conferences in Mathematical Logic, University of Connecticut, Storrs, Connecticut, 1979/80). edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture Notes in Mathematics, vol. 859. Springer, Berlin, pp. 268–282. - James H. Schmerl. Recursively saturatedmodels generated by indiscernibles. Notre Dane Journal of Formal Logic, vol. 26 (1985), no. 1, pp. 99–105. - James H. Schmerl. Large resplendent models generated by indiscernibles. The Journal of Symbolic Logic, vol. 54 (1989), no. 4, pp. 1382–1388. - James H. Schmerl. Automorphism groups of models of Peano arithmetic. The Journal of Symbolic Logic, vol. 67 (2002), no. 4, pp. 1249–1264. - James H. Schmerl. Diversity in substructures. Nonstandard models of arithmetic and set theory. edited by A. Enayat and R. Kossak, Contemporary Mathematics, vol. 361, American Mathematical Societey (2004), pp. 45–161. - James H. Schmerl. Generic automorphisms and graph coloring. Discrete Mathematics, vol. 291 (2005), no. 1–3, pp. 235–242. - James H. Schmerl. Nondiversity in substructures. The Journal of Symbolic Logic, vol. 73 (2008), no. 1, pp. 193–211.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 222-227
- Print publication:
- June 2009
-
- Article
- Export citation
2008–2009 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 237-245
- Print publication:
- June 2009
-
- Article
- Export citation
Quintessence: Basic readings from the philosophy of W.V. Quine, edited by Roger Gibson, The Belknap Press of Harvard University, 2004, 416 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 215-216
- Print publication:
- June 2009
-
- Article
- Export citation
10th Asian Logic Conference
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 246-265
- Print publication:
- June 2009
-
- Article
- Export citation
W. Kubiś and V. Uspenskij. A compact group which is not Valdivia compact. Proceedings of the American Mathematical Society, vol. 133 (2005), no. 8, pp. 2483–2487. - W. Kubiś and H. Michalewski. Small Valdivia compact spaces. Topology and its Applications, vol. 153 (2006), no. 14, pp. 2560–2573. - M. Burke and W. Kubiś and S. Todorčević. Kadec norms on spaces of continuous functions. Serdica. Mathematical Journal, vol. 32 (2006), no. 2–3, pp. 227–258. - W. Kubiś. Compact spaces generated by retractions. Topology and its Applications, vol. 153, (2006), no. 18, pp. 3383–3396.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 227-228
- Print publication:
- June 2009
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 266-272
- Print publication:
- June 2009
-
- Article
- Export citation
Richard Kaye. The mathematics of logic: A guide to completeness theorems and their applications. Cambridge University Press, Cambridge, 2007, xi + 204 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 216-218
- Print publication:
- June 2009
-
- Article
- Export citation
A Survey of Propositional Realizability Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 1-42
- Print publication:
- March 2009
-
- Article
- Export citation
Actions of Groups of Finite Morley Rank on Small Abelian Groups
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 70-90
- Print publication:
- March 2009
-
- Article
- Export citation
2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 95-139
- Print publication:
- March 2009
-
- Article
- Export citation
BSL volume 15 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- March 2009
-
- Article
-
- You have access
- Export citation