1635 results in Bulletin of Symbolic Logic
IN MEMORIAM: ANNE SJERP TROELSTRA 1939–2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 293-295
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
NOTICES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 327-332
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
NOTICES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 321-326
- Print publication:
- December 2020
-
- Article
-
- You have access
- Export citation
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1-38
- Print publication:
- March 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
GÖDEL DIFFEOMORPHISMS
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 01 September 2020, pp. 219-223
- Print publication:
- December 2020
-
- Article
- Export citation
AN EXPOSITION OF THE COMPACTNESS OF
$L({Q^{\mathrm{cf}}})$
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 11 June 2020, pp. 212-218
- Print publication:
- December 2020
-
- Article
- Export citation
GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 10 June 2020, pp. 241-256
- Print publication:
- December 2020
-
- Article
- Export citation
Scott S. Cramer, Inverse limit reflection and the structure of L(Vλ+1). Journal of Mathematical Logic, vol. 15 (2015), no. 1, p. 1550001 (38 pp.).
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 26 February 2021, pp. 170-171
- Print publication:
- June 2020
-
- Article
- Export citation
2020 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, California, USA March 25–28, 2020
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 26 February 2021, pp. 172-201
- Print publication:
- June 2020
-
- Article
- Export citation
BSL volume 26 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 26 February 2021, pp. b1-b2
- Print publication:
- June 2020
-
- Article
-
- You have access
- Export citation
NOTICES
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 26 February 2021, pp. 202-206
- Print publication:
- June 2020
-
- Article
- Export citation
A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 11 June 2020, pp. 118-169
- Print publication:
- June 2020
-
- Article
-
- You have access
- Open access
- Export citation
BSL volume 26 issue 2 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 26 February 2021, pp. f1-f3
- Print publication:
- June 2020
-
- Article
-
- You have access
- Export citation
DOMINATION AND REGULARITY
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 19 January 2021, pp. 103-117
- Print publication:
- June 2020
-
- Article
- Export citation
J. Steel, PFA implies ADL(ℝ). The Journal of Symbolic Logic, vol. 70 (2005), no. 4, pp. 1255–1296. - G. Sargsyan, Nontame mouse from the failure of square at a singular strong limit cardinal. Journal of Mathematical Logic, vol. 14 (2014), 1450003 (47 pages). - G. Sargsyan, Covering with universally Baire operators. Advances in Mathematics, vol. 268 (2015), pp. 603–665. - N. Trang, PFA and guessing models. Israel Journal of Mathematics, vol. 215 (2016), pp. 607–667.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 28 December 2020, pp. 89-92
- Print publication:
- March 2020
-
- Article
- Export citation
EUROPEAN SET THEORY CONFERENCE VII 2019 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria July 1–5, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 28 December 2020, p. 94
- Print publication:
- March 2020
-
- Article
- Export citation
ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 11 June 2020, pp. 80-88
- Print publication:
- March 2020
-
- Article
- Export citation
THE 27TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (C
$\forall \mathrm {D} \exists $ -27) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Natal, Brazil August 23–30, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 28 December 2020, p. 96
- Print publication:
- March 2020
-
- Article
- Export citation
CALEIDOSCOPE—COMPLEXITY AS A KALEIDOSCOPE A RESEARCH SCHOOL ON COMPUTATIONAL COMPLEXITY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Institut Henri Poincaré, Paris, France June 17th–21st, 2019
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 28 December 2020, p. 93
- Print publication:
- March 2020
-
- Article
- Export citation
AN APPLICATION OF RECURSION THEORY TO ANALYSIS
- Part of:
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 11 June 2020, pp. 15-25
- Print publication:
- March 2020
-
- Article
- Export citation