default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 30
Volume 30, Number 1, 2024
- BSL volume 30 issue 1 Cover and Front matter. 1-
- BSL volume 30 issue 1 Cover and Back matter. 1-
- David Fernández-Duque
, Andreas Weiermann:
A Walk with Goodstein. 1-19 - Jan Krajícek:
On the existence of Strong Proof Complexity Generators. 20-40 - Arnon Avron:
Poincaré-Weyl's Predicativity: going beyond. 41-91 - Gabriel Uzquiano:
Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405-424. 92-93 - 2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 - June 9, 2023. 94-139
- SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9-13, 2023. 140-151
- 2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 2023. 152-165
- 2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024. 166-171
- 2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15-18, 2024. 172-175
- Association for Symbolic Logic. 176-180
Volume 30, Number 2, 2024
- Isaac Goldbring, Bradd Hart:
The Universal Theory of the Hyperfinite II $_1$ factor is not Computable. 181-198 - Adam R. Day, Noam Greenberg, Matthew Harrison-Trainor, Dan Turetsky:
Iterated Priority Arguments in Descriptive Set Theory. 199-226 - Constantin C. Brîncus:
Categorical Quantification. 227-252 - Petr Cintula, George Metcalfe, Naomi Tokuda:
One-variable Fragments of First-order Logics. 253-278 - Takehiko Gappo:
COMPACTNESS OF AND STRONG AXIOMS OF DETERMINACY - N. Trang, Structure theory ofand its applications.Journal of Symbolic Logic, vol. 80 (2015), no. 1, pp. 29-55. - N. Trang, Supercompactness can be equiconsistent with measurability. Notre Dame Journal of Formal Logic, vol. 62 (2021), no. 4, pp. 593-618. - N. Trang and T. Wilson, Determinacy from strong compactness of . Annals of Pure and Applied Logic, vol. 172 (2021), no. 6, Article no. 102944, 30pp. - D. Ikegami and N. Trang, On supercompactness of $\omega _1$, Advances in Mathematical Logic (T. Arai, M. Kikuchi, S. Kuroda, M. Okada, T. Yorioka, editors), Springer, Proceedings Mathematics & Statistics, Singapore, 369, 2021, pp. 27-45. 279-282 - Daniele Molinini:
Christopher Pincock. Mathematics and Explanation. Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp. 282-284 - Martina Iannella:
From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory. 285-286 - Vittorio Cipriani:
Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory. 287-288 - Nicholas Pischke:
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis. 288-289 - PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7-12, 2022. 290-291
- WORKSHOP: FINITE MODEL THEORY AND MANY-VALUED LOGIC: CHALLENGES AND INTERACTIONS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia (online) November 10-12, 2022. 292
- MODEL THEORY CONFERENCE IN CELEBRATION OF LUDOMIR NEWELSKI'S 60TH BIRTHDAY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bedlewo, Poland December 17-21, 2022. 293
- Notices. 294-301
Volume 30, Number 3, 2024
- Tanmay Inamdar, Assaf Rinot:
A Club Guessing Toolbox I. 303-361 - Taishi Kurahashi, Albert Visser:
Pour-el's Landscape. 362-397 - Sam Sanders:
A note on continuous Functions on Metric Spaces. 398-420 - Amador Martin-Pizarro:
Johnathan Kirby. An Invitation to Model Theory. Cambridge University Press, Cambridge, UK, 2019, xiv + 182 pp. 421-422 - Tore Fjetland Øgaard:
Edwin Mares. The Logic of Entailment and its History. Cambridge University Press, Cambridge, UK, 2024, xv + 264 pp. 422-424 - Lorenzo Azzano:
Samuele Iaquinto and Giuliano Torrengo. Fragmenting Reality: An Essay on Passage, Causality and Time. Bloomsbury Academic, London, 2022, x + 208 pp. 424-427 - Will Stafford:
Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 (2019), no. 1, pp. 233-246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367-385. - Hermógenes Oliveira. On Dummett's Pragmatist Justification Procedure. Erkenntnis, vol. 86 (2021), no. 2, pp. 429-455. 427-431 - Andrei A. Krokhin:
Manuel Bodirsky. Complexity of Infinite-Domain Constraint Satisfaction. Lecture Notes in Logic, vol. 52. Cambridge University Press, 2021. 431-432 - Sergei Artemov, John P. Burgess, Melvin Fitting, Anandi Hattiangadi:
SAUL KRIPKE (1940-2022). 433-442 - THE SECOND INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY (HoTT 2023) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Pittsburgh, USA May 22-25, 2023. 443
- MODEL THEORY CONFERENCE IN SEOUL CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Seoul, South Korea August 28-30, 2023. 444
- MODEL THEORY WORKSHOP AND CONFERENCE 2023 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Wrocław, Poland September 15-23, 2023. 445
- CONFERENCE: MODEL THEORY AND GROUPS A conference on the occasion of Katrin Tent's 60th birthday CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Münster, Germany September 25-29, 2023. 446
- THE FOURTEENTH PHD'S-IN-LOGIC INTERNATIONAL CONFERENCE (PHD'S IN LOGIC 2023) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Granada, Spain October 4-6, 2023. 447
- AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023. 448
- Notices. 449-454
Volume 30, Number 4, 2024
- Hanul Jeon, Richard Matthews:
Very Large Set Axioms over Constructive Set Theories. 455-535 - Juan P. Aguilera, Martina Iannella:
A One-Page Proof of a Theorem of Beleznay. 536-537 - Emil Jerábek:
A note on the Theory of Well Orders. 538-542 - Clovis Hamel:
New Results in Model Theory and Set Theory. 543-544 - Zhansaya Tleuliyeva:
Algorithmic Properties of Rogers Semilattices. 544-545 - Andreas Lietz:
Forcing "$\mathrm {NS}_{\omega _1}$is$\omega _1$-Dense" from Large Cardinals. 544 - CCR 2024: THE 17TH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Nagoya, Japan March 11-15, 2024. 546
- 2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14-17, 2024. 547-579
- 2024 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC, LOGIC COLLOQUIUM 2024 University of Gothenburg Gothenburg, Sweden 24 June - 28 June, 2024. 580-614
- Notices. 615-620
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-14 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
