default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 25
Volume 25, Number 1, March 2019
- John T. Baldwin, Michael C. Laskowski:
Henkin Constructions of Models with Size continuum. 1-33 - Martino Lupini
:
An Invitation to Model Theory and C*-Algebras. 34-100 - Maria Hämeen-Anttila:
Nominalistic Ordinals, Recursion on Higher Types, and finitism. 101-124
- Athar Abdul-Quader:
J. H. Schmerl, Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 (2014), no. 5-6, pp. 571-581. - J. H. Schmerl, Minimal elementary end extensions. Archive for Mathematical Logic, vol. 56 (2017), no. 5-6, pp. 541-553. 125-126
Volume 25, Number 2, June 2019
- Nikolay Bazhenov, Rod Downey, Iskander Sh. Kalimullin, Alexander G. Melnikov:
Foundations of Online Structure Theory. 141-181 - Yatir Halevi, Assaf Hasson, Franziska Jahnke:
A Conjectural Classification of strongly dependent Fields. 182-195
- Roy Dyckhoff:
Indirect Proof and Inversions of Syllogisms. 196-207 - Jouko Väänänen:
An Extension of a Theorem of Zermelo. 208-212
- Arthur Freitas Ramos:
Explicit Computational Paths in Type Theory. 213-214 - Marcus Vinícius Midena Ramos:
Formalization of Context-Free Language Theory. 214 - Douglas Ulrich:
Some Applications of Set Theory to Model Theory. 214-215 - Victoria Noquez:
Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic. 215-216 - Paul Kindvall Gorbow:
Self-similarity in the Foundations. 216-217 - Saeideh Bahrami:
Self-embeddings of Models of Peano Arithmetic. 217-218 - Lukas Daniel Klausner:
Creatures and Cardinals. 218-219 - Ari Meir Brodsky:
A Theory of Stationary Trees and the Balanced Baumgartner-Hajnal-Todorcevic Theorem for Trees. 219 - Aaron Thomas-Bolduc:
New Directions for Neo-logicism. 219-220 - William D. Simmons:
Completeness of Finite-Rank Differential Varieties. 220-221 - Filippo Cavallari:
Regular Tree Languages in the First Two Levels of the Borel Hierarchy. 221-222
Volume 25, Number 3, September 2019
- Joan Bagaria, Peter Koellner, W. Hugh Woodin:
Large Cardinals beyond Choice. 283-318 - Hunter Chase, James Freitag:
Model Theory and Machine Learning. 319-332 - Ansten Mørch Klev:
Eta-Rules in Martin-löF Type Theory. 333-359
- Davide Catta:
N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57 College Publications, London, 2015, xx + 415 pp. 360-362
- ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING Baltimore Convention Center Baltimore, MD, USA January 18-19, 2019. 363-371
- ASSOCIATION FOR SYMBOLIC LOGIC 2019 WINTER MEETING The Westin Denver Downtown Denver, Colorado, USA February 21-22, 2019. 372-380
- 2019 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC City University of New York Graduate Center New York, New York, USA May 20-23, 2019. 381-412
- FROM PERMUTATION GROUPS TO MODEL THEORY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Edinburgh, UK September 17-21, 2018. 413
- HILBERT-BERNAYS SUMMER SCHOOL ON LOGIC AND COMPUTATION 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Göttingen, Germany July 22-28, 2018. 414
- CANTOR MEETS ROBINSON CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Campinas, Brazil December 12-15, 2018. 415
- THIRTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS (CCR 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Santiago, Chile December 17-21, 2018. 416
- SYNTAX MEETS SEMANTICS (SYSMICS 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Amsterdam, The Netherlands January 21-25, 2019. 417
- PH.D.S IN LOGIC XI 2019 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bern, Switzerland April 24-26, 2019. 418
- ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) SUPPORTED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vancouver, Canada June 24-27, 2019. 419
- 12TH PANHELLENIC LOGIC SYMPOSIUM (PLS 12, 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Anogeia, Crete, Greece June 26-30, 2019. 420
- 26TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, the Netherlands July 2-5, 2019. 421-422
- Notices. 423-427
Volume 25, Number 4, December 2019
- Asaf Karagila:
Realizing Realizability Results with Classical Constructions. 429-445
- Marija Boricic:
Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification. 446-447 - Jun Le Goh:
Measuring the Relative Complexity of Mathematical Constructions and Theorems. 447-448 - Andrea Vaccaro:
C*-algebras and the Uncountable: A Systematic Study of the Combinatorics of the Uncountable in the Noncommutative Framework. 448-449 - Lorenzo Galeotti:
The Theory of the Generalised Real Numbers and Other Topics in Logic. 449-450 - Sourav Tarafder:
Non-Classical Set Theories and Logics Associated With Them. 451 - Hugo Nobrega:
Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks. 451-452 - Rose Weisshaar:
Some Results in Computability Theory. 452-453 - Purbita Jana:
A Study of the Interrelation between Fuzzy Topological Systems and Logics. 453-454 - Francesco Parente:
Regularity of Ultrafilters, Boolean Ultrapowers, and Keisler's Order. 454-455
- SIXTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nazarbayev University Nur-Sultan, Kazakhstan June 17-21, 2019. 456-478
- THE ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Wollongong, Australia July 12, 2019. 479-480
- 2019 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium 2019 Prague, Czech Republic August 11-16, 2019. 481-530
- THE SIXTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2019) Zagreb, Croatia July 8-11, 2019. 531
- CIE 2019: COMPUTING WITH FORESIGHT AND INDUSTRY COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Durham, UK July 15-19, 2019. 532
- Association for Symbolic Logic. 533-536
- Notices. 537-541
- 2018 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium 2018 - addendum. 542
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-11-20 21:00 CET 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:
