1635 results in Bulletin of Symbolic Logic
SYMMETRIES IN MODAL LOGICS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 373-401
- Print publication:
- December 2015
-
- Article
- Export citation
BSL volume 21 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. b1-b5
- Print publication:
- December 2015
-
- Article
-
- You have access
- Export citation
VII CONFERENCE AND II SCHOOL ON TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL), 2015 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Fisciano (School) and Ischia (Conference), Italy June 15–19, 2015 (School) and June 21–26, 2015 (Conference)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 444-445
- Print publication:
- December 2015
-
- Article
- Export citation
BSL volume 21 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. f1-f3
- Print publication:
- December 2015
-
- Article
-
- You have access
- Export citation
Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825–838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477–505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1factors. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609–628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000–1004.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 425-427
- Print publication:
- December 2015
-
- Article
- Export citation
INDIVIDUAL MEMBERS 2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 451-495
- Print publication:
- December 2015
-
- Article
- Export citation
THE CLASSIFICATION PROBLEM FOR AUTOMORPHISMS OF C*-ALGEBRAS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 4 / December 2015
- Published online by Cambridge University Press:
- 15 January 2016, pp. 402-424
- Print publication:
- December 2015
-
- Article
- Export citation
Denis R. Hirschfeldt. Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28. World Scientific Publishing Co. Pte. Ltd., Singapore, 2015, xiv+214 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 338-339
- Print publication:
- September 2015
-
- Article
- Export citation
Itay Neeman. Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 (2014), pp. 265–298.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 339-341
- Print publication:
- September 2015
-
- Article
- Export citation
THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 319-337
- Print publication:
- September 2015
-
- Article
- Export citation
BSL volume 21 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. b1-b2
- Print publication:
- September 2015
-
- Article
-
- You have access
- Export citation
2015 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Illinois at Urbana-Champaign Urbana, IL, USA March 25–28, 2015
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 344-365
- Print publication:
- September 2015
-
- Article
- Export citation
SATURATED FREE ALGEBRAS REVISITED
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 306-318
- Print publication:
- September 2015
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 366-371
- Print publication:
- September 2015
-
- Article
-
- You have access
- Export citation
CHANG’S CONJECTURE, GENERIC ELEMENTARY EMBEDDINGS AND INNER MODELS FOR HUGE CARDINALS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 251-269
- Print publication:
- September 2015
-
- Article
- Export citation
DEMUTH’S PATH TO RANDOMNESS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 270-305
- Print publication:
- September 2015
-
- Article
- Export citation
K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, United Kingdom, 2012, x + 248 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 342-343
- Print publication:
- September 2015
-
- Article
- Export citation
BSL volume 21 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. f1-f3
- Print publication:
- September 2015
-
- Article
-
- You have access
- Export citation
Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139–157. - Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279–290. - Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), pp. 553–562. - Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω2. Journal of Symbolic Logic, vol. 77, no. 3 (2012), pp. 934–946. - Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), pp. 483–496. - Itay Neeman. The tree property up to אּω+1. Journal of Symbolic Logic. vol. 79, no. 2 (2014), pp. 429–459.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 04 June 2015, pp. 188-192
- Print publication:
- June 2015
-
- Article
- Export citation
2014 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Marriott Philadelphia Downtown Philadelphia, Pennsylvania December 28–30, 2014
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 04 June 2015, pp. 234-240
- Print publication:
- June 2015
-
- Article
- Export citation