The bulletin of symbolic logic
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
Table of contents
- 393
-
Cantorian set theoryOliver, Alex / Smiley, Timothy et al. | 2018
- 452
-
Andrew Marks and Spencer Unger, Borel circle squaringKwiatkowska, Aleksandra et al. | 2018
- 454
-
Will Boney, Advances in Classification Theory for Abstract Elementary Classes, Carnegie Mellon University, 2014Grossberg, Rami et al. | 2018
- 455
-
Tomás Ibarlucía, Model Theory Methods for Topological Groups, Université de Lyon, 2016Yaacov, Itaï Ben et al. | 2018
- 456
-
Dominik Thomas Adolf, On the Strength of PFA([non-Roman script word]~2) in Conjunction with a Precipitous Ideal on ω~1 and Namba-Like Forcings on Successors of Regular Cardinals, WWU Muenster, 2013Schindler, Ralf et al. | 2018
- 456
-
Marios Koulakis, Coding into Inner Models at the Level of Strong Cardinals, University of Münster, 2015Schindler, Ralf et al. | 2018
- 457
-
Carolin Antos, Foundations of Higher-Order Forcing, University of Vienna, 2015Friedman, Sy-David et al. | 2018
- 457
-
Anush Tserunyan, Finite Generators for Countable Group Actions; Finite Index Pairs of Equivalence Relations; Complexity Measures for Recursive Programs, University of California at Los Angeles, 2013Kechris, Alexander S. / Neeman, Itay et al. | 2018
- 458
-
Joseph Zielinski, Compact Structures in Descriptive Classification Theory, University of Illinois at Chicago, 2016Rosendal, Christian et al. | 2018
- 459
-
Athipat Thamrongthanyalak, Extensions and Smooth Approximations of Definable Functions in O-minimal Structures, University of California, Los Angeles, 2013Aschenbrenner, Matthias et al. | 2018
- 459
-
Anton Bobkov, Computations of Vapnik—Chervonenkis Density in Various Model- Theoretic Structures, University of California, Los Angeles, 2017Aschenbrenner, Matthias et al. | 2018
- 460
-
Anton Freund, Type-two well-ordering principles, admissible sets, and Π~1^1-comprehension, University of Leeds, UK, 2018Rathjen, Michael et al. | 2018
- 460
-
Erik Walsberg, Metric Geometry in a Tame Setting, University of California, Los Angeles, 2015Aschenbrenner, Matthias et al. | 2018
- 461
-
Gianluca Paolini, Independence in Model Theory and Team Semantics, University of Helsinki, Finland, 2016Hyttinen, Tapani / Väänänen, Jouko et al. | 2018
- 462
-
Filippo Calderoni, A Descriptive View of the Bi-embeddability Relation, Università degli Studi di Torino, Italy, 2018Ros, Luca Motto et al. | 2018
- 462
-
Raphaël Carroy, Functions of the first Baire class, Université Paris 7 - Denis Diderot & Université de Lausanne, France, 2013Finkel, Olivier / Duparc, Jacques et al. | 2018
- 464
-
Evandro Luís Gomes, [On the history of paraconsistency and da Costa's work: the establishment of paraconsistent logic]. (December, 2013). 535p + appendixes. Philosophy Ph.D., Institute of Philosophy and Human Sciences and Centre for Logic, Epistemology and the History of Sciences, The University of Campinas, Campinas, São Paulo, Brazil, 2013D Ottaviano, Itala M. Loffredo et al. | 2018
- 465
-
Matthew Harrison-Trainor, The Complexity of Countable Structures, University of California, Berkeley, CA, USA, 2017Montalbán, Antonio et al. | 2018
- 467
-
Fifteenth Asian Logic Conference, An Official Meeting of the Association for Symbolic Logic, National Institute for Mathematical Sciences, Daejeon, South Korea, July 10—14, 2017| 2018
- 484
-
2017—2018 Winter Meeting of the Association for Symbolic Logic, San Diego Convention Center and Marriott Marquis San Diego Marina, San Diego, CA, January 12—13, 2018| 2018
- 493
-
2018 North American Annual Meeting of the Association for Symbolic Logic, Western Illinois University, Macomb, IL, USA, May 16—19, 2018| 2018
- 526
-
13th Computability in Europe Conference (CIE 2017) Unveiling Dynamics and Complexity, Co-Sponsored by the Association for Symbolic Logic, Turku, Finland, June 12—16, 2017| 2018
- 527
-
VIII Conference and III School on Topology, Algebra, and Categories in Logic (TACL), 2017, Co-Sponsored by the Association for Symbolic Logic, Prague and Olomouc, Czech Republic, June 20—30, 2017| 2018
- 529
-
Model Theory in Wrocław 2017, Co-Sponsored by the Association for Symbolic Logic, Wrocław, Poland, 30 June—2 July, 2017| 2018
- 530
-
Model Theory, Co-Sponsored by the Association for Symbolic Logic, Będlewo, Poland, July 2—8, 2017| 2018
- 532
-
29th European Summer School, In Logic, Language, and Information, (ESSLLI 2017), Co-Sponsored by the Association for Symbolic Logic, Toulouse, France, July 17—28, 2017| 2018
- 534
-
Hilbert—Bernays Summer School on Logic and Computation 2017, Co-Sponsored by the Association for Symbolic Logic, Göttingen, Germany, July 23—29, 2017| 2018
- 535
-
14th International Conference on Computability and Complexity in Analysis, Co-Sponsored by the Association for Symbolic Logic, Daejeon, Republic of Korea, July 24—27, 2017| 2018
- 536
-
Model Theory of Operator Algebras: Workshop and Conference, Co-Sponsored by the Association for Symbolic Logic, Irvine, California, September 20—24, 2017| 2018
- 537
-
Tableaux 2017 / Frocos 2017 / ITP 2017, Co-Sponsored by the Association for Symbolic Logic, Brasilia, Brazil, September 25—29, 2017| 2018
- 539
-
Trimester on Model Theory, Combinatorics, and Valued Fields, Co-Sponsored by the Association for Symbolic Logic, Institut Henri Poincaré, Paris, France, January 8—April 6, 2018| 2018
- 543
-
Logical Foundations of Computer Science 2018, Co-Sponsored by the Association for Symbolic Logic, Deerfield Beach, Florida, USA, January 8—11, 2018| 2018
- 544
-
Ouroboros: Workshop on Formal Criteria of Self-Reference in Mathematics and Philosophy, Co-Sponsored by the Association for Symbolic Logic, Bonn, Germany, February 16—18, 2018| 2018
- 546
-
Workshop on Computability Theory and Its Applications 2018, Co-Sponsored by the Association for Symbolic Logic, Waterloo, Canada, June 4—8, 2018| 2018
- 547
-
The Tenth Scandinavian Logic Symposium (SLS 2018), Co-Sponsored by the Association for Symbolic Logic, Gothenburg, Sweden, June 11—13, 2018| 2018
- 548
-
25th Workshop on Logic, Language, Information, and Computation (WOLLIC 2018), Co-Sponsored by the Association for Symbolic Logic, Bogotá, Colombia, July 24—27, 2018| 2018
- 550
-
CIE 2018: Sailing Routes in the World of Computation, Co-Sponsored by the Association for Symbolic Logic, Kiel, Germany, July 31—August 3, 2018| 2018