1635 results in Bulletin of Symbolic Logic
29TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Toulouse, France July 17–28, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 532-533
- Print publication:
- December 2018
-
- Article
- Export citation
2018 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Western Illinois University, Macomb, IL, USA May 16–19, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 493-525
- Print publication:
- December 2018
-
- Article
- Export citation
FIFTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC National Institute for Mathematical Sciences Daejeon, South Korea July 10–14, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 467-483
- Print publication:
- December 2018
-
- Article
- Export citation
MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Będlewo, Poland July 2–8, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 530-531
- Print publication:
- December 2018
-
- Article
- Export citation
The Complexity of Countable Structures
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 465-466
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
Type-two well-ordering principles, admissible sets, and
$\Pi _1^1$-comprehension
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 460-461
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
Extensions and Smooth Approximations of Definable Functions in O-minimal Structures
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 459-460
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
13TH COMPUTABILITY IN EUROPE CONFERENCE (CIE 2017) UNVEILING DYNAMICS AND COMPLEXITY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Turku, Finland June 12–16, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 526
- Print publication:
- December 2018
-
- Article
- Export citation
Functions of the first Baire class
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 462-464
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
Model Theory Methods for Topological Groups
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 455-456
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
A Descriptive View of the Bi-embeddability Relation
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 462
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
TRIMESTER ON MODEL THEORY, COMBINATORICS, AND VALUED FIELDS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Institut Henri Poincaré Paris, France January 8–April 6, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 539-542
- Print publication:
- December 2018
-
- Article
- Export citation
Metric Geometry in a Tame Setting
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 460
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
Andrew Marks and Spencer Unger, Borel circle squaring, Annals of Mathematics, (2017), no. 186, pp. 581–605.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 452-453
- Print publication:
- December 2018
-
- Article
- Export citation
VIII CONFERENCE AND III SCHOOL ON TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL), 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Prague and Olomouc, Czech Republic June 20–30, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 527-528
- Print publication:
- December 2018
-
- Article
- Export citation
Compact Structures in Descriptive Classification Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, pp. 458-459
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation
MODEL THEORY IN WROCŁAW 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland 30 June–2 July, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 529
- Print publication:
- December 2018
-
- Article
- Export citation
THE TENTH SCANDINAVIAN LOGIC SYMPOSIUM (SLS 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden June 11–13, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 547
- Print publication:
- December 2018
-
- Article
- Export citation
HILBERT–BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2017 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 23–29, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 534
- Print publication:
- December 2018
-
- Article
- Export citation
Foundations of Higher-Order Forcing
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 02 January 2019, p. 457
- Print publication:
- December 2018
-
- Article
-
- You have access
- Export citation