The bulletin of symbolic logic
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
Table of contents
- 111
-
HERBRAND'S THEOREM AND NON-EUCLIDEAN GEOMETRYBEESON, MICHAEL et al. | 2015
- 123
-
GEOMETRISATION OF FIRST-ORDER LOGICDYCKHOFF, ROY et al. | 2015
- 164
-
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGICMANCOSU, PAOLO et al. | 2015
- 188
-
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–459Cummings, James et al. | 2015
- 188
-
Recent papers on the tree property by Itay Neeman, Dima Sinapova, and Spencer UngerCummings, James et al. | 2015
- 193
-
2014 Spring Meeting of the Association for Symbolic Logic, Westin Gaslamp Quarter, San Diego, California, April 1-17, 2014| 2015
- 193
-
2014 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC: Westin Gaslamp Quarter San Diego, California April 16–17, 2014| 2015
- 201
-
2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC: University of Colorado, Boulder Boulder, CO, USA May 19–22, 2014| 2015
- 234
-
2014 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC: Marriott Philadelphia Downtown Philadelphia, Pennsylvania December 28–30, 2014| 2015
- 241
-
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014), Valparaiso, Chile, September 1-4, 2014| 2015
- 241
-
21ST WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2014): CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Valparaiso, Chile September 1–4, 2014| 2015
- 243
-
MODEL THEORY AND GROUPS, ISTANBUL 4: CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Istanbul, Turkey March 26–28, 2015| 2015
- 244
-
NOTICES| 2015
- b1
-
BSL volume 21 issue 2 Cover and Back matter| 2015
- f1
-
BSL volume 21 issue 2 Cover and Front matter| 2015
-
Model Theory and Groups, Istanbul 4, Istanbul, Turkey, March 26-28, 2015| 2015