Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 29
Volume 29, Number 1, March 2023
- Will Boney, Barbara F. Csima, Nancy A. Day, Matthew Harrison-Trainor:
Which Classes of Structures Are Both Pseudo-Elementary and Definable by an Infinitary Sentence? 1-18 - Joan Bagaria
:
Large Cardinals As Principles of Structural Reflection. 19-70 - Charles McCarty, Stewart Shapiro, Ansten Mørch Klev:
The Axiom of Choice Is False Intuitionistically (in Most Contexts). 71-96 - Karel Hrbacek, Mikhail G. Katz:
Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories. 97-127 - Bea Adam-Day, John Howe, Rosario Mennuni:
On Double-Membership Graphs of Models of Anti-Foundation. 128-144
- Association for Symbolic Logic. 145-149
- Notices. 150-156
Volume 29, Number 2, June 2023
- Monroe Eskew:
Incompatibility of Generic Hugeness Principles. 157-162 - Yatir Halevi, Itay Kaplan:
Saturated Models for the Working Model theorist. 163-169 - Rodney G. Downey, Alexander G. Melnikov:
Computably Compact Metric Spaces. 170-263 - G. A. Kavvos, Daniel Gratzer:
Under Lock and Key: a Proof System for a Multimodal Logic. 264-293 - 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. 294-296 - 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. 296-297 - Dodamgodage Gihanee M. Senadheera:
Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees. 298-299 - Miguel Antonio Cardona-Montoya:
Forcing theory and combinatorics of the real line. 299-300 - Francesco Paolo Gallinaro:
Around Exponential-Algebraic Closedness. 300 - Rahman Mohammadpour:
New methods in forcing iteration and applications. 300-302 - Notices. 303-309
Volume 29, Number 3, September 2023
- Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama:
Extended Frames and Separations of Logical Principles. 311-353 - Pierre Matet:
Menas's Conjecture Revisited. 354-405 - Ethan Brauer:
A Classical Modal Theory of Lawless sequences. 406-452 - Chris Scambler:
THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, One step is enough. Journal of Philosophical Logic, vol. 51 (2022), pp. 1233-1259. - Isabella McAllister, Classical logic is not uniquely characterizable. Journal of Philosophical Logic, vol. 51 (2022), pp. 1345-1365. - Rea Golan, There is no tenable notion of global metainferential validity. Analysis, vol. 81 (2021), no. 3, pp. 411-420. 453-456 - Bruno Bentzen:
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp. 456-457 - Notices. 458-464
Volume 29, Number 4, December 2023
- Zlatan Damnjanovic:
Tree Theory: interpretability between Weak First-order Theories of Trees. 465-502 - Johan van Benthem, Thomas Icard:
Interleaving Logic and Counting. 503-587 - Christopher Henney-Turner, Peter Holy, Philipp Schlicht, Philip D. Welch:
Asymmetric Cut and Choose Games. 588-625 - Kirsten Eisenträger, Russell Miller, Caleb Springer, Linda Westrick:
A Topological Approach to Undefinability in Algebraic Extensions of. 626-655 - Derek Levinson:
John Steel and Hugh Woodin. HOD as a Core Model. 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. 656-657 - Pavel Pudlák:
Reviews. 657-660 - Chris J. Conidis:
D. D. Dzhafarov and C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp. 660-662 - James Holland:
Weak Indestructibility and Reflection. 663 - Teerawat Thewmorakot:
Computability Theory on Polish Metric Spaces. 664 - Daniel Mourad:
Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers. 664-665 - Waseet Kazmi:
Ordered Groups, Computability and Cantor-Bendixson Rank. 664 - 2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6-7, 2023. 666-671
- 2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25-29, 2023. 672-695
- 2023 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5-6, 2023. 696-702
- 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. 703-724
- 28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5-8, 2021. 725
- Notices. 726-732
a service of 
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 2024-04-29 21:42 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:
