Login / Signup
Bull. Symb. Log.
1995
2005
2010
2024
1995
2024
Keyphrases
Publications
volume 30, number 1, 2024
SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9-13, 2023.
Bull. Symb. Log.
30 (1) (2024)
BSL volume 30 issue 1 Cover and Front matter.
Bull. Symb. Log.
30 (1) (2024)
Jan Krajícek
On the existence of Strong Proof Complexity Generators.
Bull. Symb. Log.
30 (1) (2024)
2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 - June 9, 2023.
Bull. Symb. Log.
30 (1) (2024)
2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 2023.
Bull. Symb. Log.
30 (1) (2024)
Arnon Avron
Poincaré-Weyl's Predicativity: going beyond.
Bull. Symb. Log.
30 (1) (2024)
2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15-18, 2024.
Bull. Symb. Log.
30 (1) (2024)
Association for Symbolic Logic.
Bull. Symb. Log.
30 (1) (2024)
David Fernández-Duque
,
Andreas Weiermann
A Walk with Goodstein.
Bull. Symb. Log.
30 (1) (2024)
BSL volume 30 issue 1 Cover and Back matter.
Bull. Symb. Log.
30 (1) (2024)
2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024.
Bull. Symb. Log.
30 (1) (2024)
Gabriel Uzquiano
Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405-424.
Bull. Symb. Log.
30 (1) (2024)
volume 29, number 1, 2023
Notices.
Bull. Symb. Log.
29 (1) (2023)
Karel Hrbacek
,
Mikhail G. Katz
Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories.
Bull. Symb. Log.
29 (1) (2023)
Bea Adam-Day
,
John Howe
,
Rosario Mennuni
On Double-Membership Graphs of Models of Anti-Foundation.
Bull. Symb. Log.
29 (1) (2023)
Joan Bagaria
Large Cardinals As Principles of Structural Reflection.
Bull. Symb. Log.
29 (1) (2023)
volume 29, number 2, 2023
Dodamgodage Gihanee M. Senadheera
Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees.
Bull. Symb. Log.
29 (2) (2023)
Yatir Halevi
,
Itay Kaplan
Saturated Models for the Working Model theorist.
Bull. Symb. Log.
29 (2) (2023)
Magdalen Elmitt
Katie Steele and H. Orri Stefánsson. Beyond Uncertainty: Reasoning with Unknown Possibilities. Elements in Decision Theory and Philosophy. Cambridge University Press, Cambridge, UK, 2021, 110 pp.
Bull. Symb. Log.
29 (2) (2023)
Moritz Müller
Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.
Bull. Symb. Log.
29 (2) (2023)
Francesco Paolo Gallinaro
Around Exponential-Algebraic Closedness.
Bull. Symb. Log.
29 (2) (2023)
Miguel Antonio Cardona-Montoya
Forcing theory and combinatorics of the real line.
Bull. Symb. Log.
29 (2) (2023)
Rahman Mohammadpour
New methods in forcing iteration and applications.
Bull. Symb. Log.
29 (2) (2023)
Notices.
Bull. Symb. Log.
29 (2) (2023)
Monroe Eskew
Incompatibility of Generic Hugeness Principles.
Bull. Symb. Log.
29 (2) (2023)
Rodney G. Downey
,
Alexander G. Melnikov
Computably Compact Metric Spaces.
Bull. Symb. Log.
29 (2) (2023)
G. A. Kavvos
,
Daniel Gratzer
Under Lock and Key: a Proof System for a Multimodal Logic.
Bull. Symb. Log.
29 (2) (2023)
volume 29, number 3, 2023
Chris Scambler
. Analysis, vol. 81 (2021), no. 3, pp. 411-420.
Bull. Symb. Log.
29 (3) (2023)
Ethan Brauer
A Classical Modal Theory of Lawless sequences.
Bull. Symb. Log.
29 (3) (2023)
Bruno Bentzen
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.
Bull. Symb. Log.
29 (3) (2023)
Notices.
Bull. Symb. Log.
29 (3) (2023)
Makoto Fujiwara
,
Hajime Ishihara
,
Takako Nemoto
,
Nobu-Yuki Suzuki
,
Keita Yokoyama
Extended Frames and Separations of Logical Principles.
Bull. Symb. Log.
29 (3) (2023)
Pierre Matet
Menas's Conjecture Revisited.
Bull. Symb. Log.
29 (3) (2023)
volume 29, number 4, 2023
Waseet Kazmi
Ordered Groups, Computability and Cantor-Bendixson Rank.
Bull. Symb. Log.
29 (4) (2023)
Zlatan Damnjanovic
Tree Theory: interpretability between Weak First-order Theories of Trees.
Bull. Symb. Log.
29 (4) (2023)
THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26-31, 2022.
Bull. Symb. Log.
29 (4) (2023)
28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5-8, 2021.
Bull. Symb. Log.
29 (4) (2023)
James Holland
Weak Indestructibility and Reflection.
Bull. Symb. Log.
29 (4) (2023)
Notices.
Bull. Symb. Log.
29 (4) (2023)
Teerawat Thewmorakot
Computability Theory on Polish Metric Spaces.
Bull. Symb. Log.
29 (4) (2023)
Daniel Mourad
Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers.
Bull. Symb. Log.
29 (4) (2023)
Derek Levinson
. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257-345.
Bull. Symb. Log.
29 (4) (2023)
Christopher Henney-Turner
,
Peter Holy
,
Philipp Schlicht
,
Philip D. Welch
Asymmetric Cut and Choose Games.
Bull. Symb. Log.
29 (4) (2023)
Johan van Benthem
,
Thomas Icard
Interleaving Logic and Counting.
Bull. Symb. Log.
29 (4) (2023)
Kirsten Eisenträger
,
Russell Miller
,
Caleb Springer
,
Linda Westrick
A Topological Approach to Undefinability in Algebraic Extensions of.
Bull. Symb. Log.
29 (4) (2023)
2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25-29, 2023.
Bull. Symb. Log.
29 (4) (2023)
2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6-7, 2023.
Bull. Symb. Log.
29 (4) (2023)
Chris J. Conidis
Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp.
Bull. Symb. Log.
29 (4) (2023)
2023 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5-6, 2023.
Bull. Symb. Log.
29 (4) (2023)
Pavel Pudlák
Reviews.
Bull. Symb. Log.
29 (4) (2023)