Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 26
Volume 26, Number 1, March 2020
- Marcin Michalski, Robert Ralowski, Szymon Zeberski
:
Nonmeasurable Sets and Unions with respect to Tree ideals. 1-14 - Liang Yu:
An Application of Recursion Theory to Analysis. 15-25 - Arnon Avron:
Weyl Reexamined: "das Kontinuum" 100 Years Later. 26-79 - Saeed Salehi:
On the diagonal Lemma of Gödel and Carnap. 80-88
- Sandra Müller:
Reviews. 89-92
- CALEIDOSCOPE - COMPLEXITY AS A KALEIDOSCOPE A RESEARCH SCHOOL ON COMPUTATIONAL COMPLEXITY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Institut Henri Poincaré, Paris, France June 17th-21st, 2019. 93
- EUROPEAN SET THEORY CONFERENCE VII 2019 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria July 1-5, 2019. 94
- 31ST EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (ESSLLI 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Riga, Latvia August 5-16, 2019. 95
- THE 27TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (C$\forall \mathrm {D} \exists $-27) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Natal, Brazil August 23-30, 2019. 96
- Notices. 97-102
Volume 26, Number 2, June 2020
- Anand Pillay:
Domination and Regularity. 103-117 - Penelope Maddy, Toby Meadows:
A Reconstruction of steel's Multiverse Project. 118-169
- Xianghui Shi:
Scott S. Cramer, Inverse limit reflection and the structure of L(V λ+1). Journal of Mathematical Logic, vol. 15 (2015), no. 1, p. 1550001 (38 pp.). 170-171
- 2020 North American Annual Meeting of the Association for Symbolic Logic, University of California, Irvine Irvine, California, USA March 25-28, 2020. 172-201
- Notices. 202-206
Volume 26, Numbers 3-4, December 2020
- Frank Wagner:
The BSL 25th Anniversary Prize. 207-211
- Enrique Casanovas, Martin Ziegler:
AN EXPOSITION OF THE COMPACTNESS OF $L({Q^{\mathrm{cf}}})$. 212-218 - Matthew Foreman:
Gödel Diffeomorphisms. 219-223 - Sebastiaan A. Terwijn:
Computability in Partial Combinatory Algebras. 224-240 - Saeed Salehi:
Gödel's second Incompleteness Theorem: How IT is derived and What IT Delivers. 241-256
- Fernando Ferreira:
Bounds for Indexes of Nilpotency in Commutative Ring Theory: a Proof Mining Approach. 257-267 - Yong Cheng:
Finding the Limit of Incompleteness I. 268-286
- Andrew Arana:
T. Button and S. Walsh. Philosophy and Model Theory. Oxford University Press, Oxford, 2018, xvi + 517 pp. 287-292
- Dick de Jongh, Joan Rand Moschovakis:
IN MEMORIAM: ANNE SJERP TROELSTRA 1939-2019. 293-295
- Kristina Brantley:
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. 296 - Rosario Mennuni:
Invariant Types in Model Theory. 296-297 - José Miguel Blanco:
An Implicative Expansion of Belnap's Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes. 297-298 - Patrick Walsh:
A Categorical Characterization of Accessible Domain. 298-299 - Gianluca Basso:
Compact Metrizable Structures via Projective Fraïssé Theory With an Application to the Study of Fences. 299-300 - Marta Fiori-Carones:
Filling cages. Reverse mathematics and combinatorial principles. 300 - Tomasz Ciesla:
Measurable combinatorics and orbit equivalence relations. 300-301
- 2020 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Colorado Convention Center Denver, CO, USA January 17-18, 2020. 302-308
- YOUNG SET THEORY XII 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vienna, Austria June 26-29, 2019. 309
- HILBERT-BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Tübingen, Germany July 21-27, 2019. 310
- WORKSHOP ON COMPUTABILITY THEORY (WCT 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Leeds, UK July 22-23, 2019. 311
- FroCoS/TABLEAUX 2019 COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK September 2-6, 2019. 312
- Proof Society Summer Schools and Workshop on Proof Theory and its Applications Cosponsored by the Association for Symbolic Logic Swansea, UK September 8-13, 2019. 313
- CIRCULARITY IN SYNTAX AND SEMANTICS (CiSS 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Gothenburg, Sweden November 20-22, 2019. 314
- LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 4-7, 2020. 315
- Association for Symbolic Logic. 316-320
- Notices. 321-326
- Notices. 327-332
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-05-21 21:31 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:
