1635 results in Bulletin of Symbolic Logic
ANTALYA ALGEBRA DAYS XVIII COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Şirince, Izmir, Turkey May 18–22, 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 136-137
- Print publication:
- March 2017
-
- Article
- Export citation
BSL volume 23 issue 1 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. f1-f3
- Print publication:
- March 2017
-
- Article
-
- You have access
- Export citation
CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Honolulu, HI January 4–8, 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 134-135
- Print publication:
- March 2017
-
- Article
- Export citation
Maryanthe Malliaris and Saharon Shelah, Cofinality spectrum problems in model theory, set theory and general topology . Journal of the American Mathematical Society, vol. 29 (2016), pp. 237–297. - Maryanthe Malliaris and Saharon Shelah, Existence of optimal ultrafilters and the fundamental complexity of simple theories . Advances in Mathematics, vol. 290 (2016), pp. 614–681. - Maryanthe Malliaris and Saharon Shelah, Keisler’s order has infinitely many classes . Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 117-121
- Print publication:
- March 2017
-
- Article
- Export citation
Robert I. Soare, Turing Computability, Theory and Applications of Computability, Springer-Verlag, Berlin, Heidelberg, 2016, xxxvi + 263 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 113-115
- Print publication:
- March 2017
-
- Article
- Export citation
Omer Ben-Neria, The structure of the Mitchell order-I . Israel Journal of Mathematics vol. 214 (2016), no. 2, pp. 945–982. - Omer Ben-Neria, The structure of the Mitchell order-II. Annals of Pure and Applied Logic, vol. 166 (2015), no. 12, pp. 1407–1432. - Sy-David Friedman and Menachem Magidor, The number of normal measures. Journal of Symbolic Logic, vol. 74 (2009), no. 3, pp. 1069–1080.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 110-112
- Print publication:
- March 2017
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 138-143
- Print publication:
- March 2017
-
- Article
-
- You have access
- Export citation
2015–2016 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Washington State Convention Center Seattle, WA January 6–9, 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. 124-133
- Print publication:
- March 2017
-
- Article
- Export citation
BSL volume 23 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 23 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 03 April 2017, pp. b1-b2
- Print publication:
- March 2017
-
- Article
-
- You have access
- Export citation
ISOMORPHISM INVARIANCE AND OVERGENERATION
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 482-503
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
INDIVIDUAL MEMBERS 2016
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 538-578
- Print publication:
- December 2016
-
- Article
- Export citation
BSL volume 22 issue 4 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. f1-f3
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
GÖDEL’S NOTRE DAME COURSE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 469-481
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
John R. Steel and W. Hugh Woodin, HOD as a core model, Ordinal Definability and Recursion Theory: The Cabal Seminar, vol. III (A. S. Kechris, B. Löwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257–343.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 521-524
- Print publication:
- December 2016
-
- Article
- Export citation
BSL volume 22 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. b1-b5
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 579-584
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
ASSOCIATION FOR SYMBOLIC LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 533-537
- Print publication:
- December 2016
-
- Article
- Export citation
Five papers on reverse mathematics and Ramsey-theoretic principles - C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey’s Theorem for Pairs. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863–892. - Manuel Lerman, Reed Solomon, and Henry Towsner, Separating principles below Ramsey’s Theorem for Pairs. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp. - Jiayi Liu, $RT_2^^2$ does not imply WKL0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609–620. - Lu Liu, Cone avoiding closed sets. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609–1630. - Wei Wang, Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1–25.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 526-530
- Print publication:
- December 2016
-
- Article
- Export citation
MAXIMAL COMPUTABILITY STRUCTURES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 445-468
- Print publication:
- December 2016
-
- Article
- Export citation
ERRATUM
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, p. 585
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation