Articles
HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 111-122
-
- Article
- Export citation
GEOMETRISATION OF FIRST-ORDER LOGIC
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 123-163
-
- Article
- Export citation
HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 164-187
-
- Article
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 188-192
-
- Article
- Export citation
Meeting Report
2014 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Westin Gaslamp Quarter San Diego, California April 16–17, 2014
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 193-200
-
- Article
- Export citation
2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Colorado, Boulder Boulder, CO, USA May 19–22, 2014
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 201-233
-
- Article
- Export citation
2014 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Marriott Philadelphia Downtown Philadelphia, Pennsylvania December 28–30, 2014
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 234-240
-
- Article
- Export citation
21ST WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2014) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Valparaiso, Chile September 1–4, 2014
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 241-242
-
- Article
- Export citation
MODEL THEORY AND GROUPS, ISTANBUL 4 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Istanbul, Turkey March 26–28, 2015
-
- Published online by Cambridge University Press:
- 04 June 2015, p. 243
-
- Article
- Export citation
Notices
Notices
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. 244-250
-
- Article
-
- You have access
- Export citation
Front Cover (OFC, IFC) and matter
BSL volume 21 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. f1-f3
-
- Article
-
- You have access
- Export citation
Back Cover (OBC, IBC) and matter
BSL volume 21 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 04 June 2015, pp. b1-b2
-
- Article
-
- You have access
- Export citation