1635 results in Bulletin of Symbolic Logic
KURT GÖDEL’S FIRST STEPS IN LOGIC: FORMAL PROOFS IN ARITHMETIC AND SET THEORY THROUGH A SYSTEM OF NATURAL DEDUCTION
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 319-335
- Print publication:
- September 2018
-
- Article
- Export citation
BSL volume 24 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. b1-b2
- Print publication:
- September 2018
-
- Article
-
- You have access
- Export citation
BSL volume 24 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. f1-f3
- Print publication:
- September 2018
-
- Article
-
- You have access
- Export citation
PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 291-305
- Print publication:
- September 2018
-
- Article
- Export citation
2018 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Savannah Convention Center Savannah, Georgia, USA January 3–6, 2018
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 377-383
- Print publication:
- September 2018
-
- Article
- Export citation
24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18–21, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 386-387
- Print publication:
- September 2018
-
- Article
- Export citation
ELEVENTH PANHELLENIC LOGIC SYMPOSIUM (PLS 11, 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Delphi, Greece July 12–16, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 384-385
- Print publication:
- September 2018
-
- Article
- Export citation
Model theory, Keisler measures, and groups - Ehud Hrushovski, Ya’acov Peterzil and Anand Pillay, Groups, measures, and the NIP. Journal of the American Mathematical Society, vol. 21 (2008), no. 2, pp. 563–596. - Ehud Hrushovski and Anand Pillay, On NIP and invariant measures. Journal of the European Mathematical Society, vol.13 (2011), no. 4, pp. 1005–1061. - Ehud Hrushovski, Anand Pillay, and Pierre Simon, Generically stable and smooth measures in NIP theories. Transactions of the American Mathematical Society, vol. 365 (2013), no. 5, pp. 2341–2366.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 336-339
- Print publication:
- September 2018
-
- Article
- Export citation
THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 25 October 2018, pp. 306-318
- Print publication:
- September 2018
-
- Article
- Export citation
Ø. Linnebo, Philosophy of Mathematics, Princeton Foundations of Contemporary Philosophy, Princeton University Press, Princeton, NJ, 2017, vi + 203 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 175-176
- Print publication:
- June 2018
-
- Article
- Export citation
Pure and Hybrid Mice with Finitely Many Woodin Cardinals from Levels of Determinacy Westfälische Wilhelms-Universität Münster, Germany, 2016. Supervised by Ralf-Dieter Schindler
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, p. 198
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
THE 2017 ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC University of Adelaide, Australia July 6–7, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 278-282
- Print publication:
- June 2018
-
- Article
- Export citation
Superstability and Categoricity in Abstract Elementary Classes, Carnegie Mellon University, USA, 2017. Supervised by Rami Grossberg
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 192-194
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 283-289
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
Separation Problems of Analytic Relations (Problèmes de séparation des relations analytiques), Université Pierre et Marie Curie, France, 2015. Supervised by Dominique Lecomte
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, p. 202
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
Finitely Additive Measures on Topological Spaces and Boolean Algebras, University of East Anglia, UK, 2015. Supervised by Mirna Džamonja
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 199-200
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
J. Azzouni, Ontology without Borders, Oxford University Press, New York, 2017, xxxvi + 256 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 177-178
- Print publication:
- June 2018
-
- Article
- Export citation
2017 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM ’17 Stockholm, Sweden August 14–20, 2017
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 211-277
- Print publication:
- June 2018
-
- Article
- Export citation
BSL volume 24 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. b1-b2
- Print publication:
- June 2018
-
- Article
-
- You have access
- Export citation
B. Tsaban, Algebra, selections and additive Ramsey theory. Fundamenta Mathematicae, (2018), no. 240, pp. 81–104.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 24 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 07 August 2018, pp. 179-180
- Print publication:
- June 2018
-
- Article
- Export citation