1. THE PROOF SOCIETY SUMMER SCHOOL 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Ghent, Belgium September 2–5, 2018

    http://dx.doi.org/10.1017/bsl.2018.96
  2. 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.

    http://dx.doi.org/10.1017/bsl.2019.1
  3. BSL volume 25 issue 1 Cover and Front matter

    http://dx.doi.org/10.1017/bsl.2019.17
  4. FOUNDATIONS OF ONLINE STRUCTURE THEORY

    http://dx.doi.org/10.1017/bsl.2019.20
  5. Formalization of Context-Free Language Theory

    http://dx.doi.org/10.1017/bsl.2019.3
  6. New Directions for Neo-logicism

    http://dx.doi.org/10.1017/bsl.2019.10
  7. NOTICES

    http://dx.doi.org/10.1017/bsl.2019.29
  8. A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS

    http://dx.doi.org/10.1017/bsl.2019.13
  9. Vaught’s Two-Cardinal Theorem and Notions of Minimality in Continuous Logic

    http://dx.doi.org/10.1017/bsl.2019.5
  10. Some Applications of Set Theory to Model Theory

    http://dx.doi.org/10.1017/bsl.2019.4
Copyright © 2015 1079-8986的搜索结果由GYCC学术搜索提供 - 意见反馈 >>小额捐赠|打赏