Search dblp for Publications

export results for "toc:db/journals/bsl/bsl20.bht:"

 download as .bib file

@article{DBLP:journals/bsl/000114,
  author       = {John T. Baldwin},
  title        = {Completeness and Categoricity (in Power): Formalization without foundationalism},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {39--79},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.3},
  doi          = {10.1017/BSL.2014.3},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/000114.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Avigad14,
  author       = {Jeremy Avigad},
  title        = {Thomas Hales. Dense Sphere Packings: {A} Blueprint for Formal Proofs.
                  Cambridge University Press, Cambridge, 2012, xiv + 271 pp},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {4},
  pages        = {500--501},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.35},
  doi          = {10.1017/BSL.2014.35},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Avigad14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/BelegradekZ14,
  author       = {Oleg V. Belegradek and
                  Boris Zilber},
  title        = {In Memoriam: Mikhail A. Taitslin 1936-2013},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {99--102},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2013.6},
  doi          = {10.1017/BSL.2013.6},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/BelegradekZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/BienvenuDG0MNT14,
  author       = {Laurent Bienvenu and
                  Adam R. Day and
                  Noam Greenberg and
                  Anton{\'{\i}}n Kucera and
                  Joseph S. Miller and
                  Andr{\'{e}} Nies and
                  Dan Turetsky},
  title        = {Computing k-Trivial Sets by Incomplete Random Sets},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {80--90},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2013.3},
  doi          = {10.1017/BSL.2013.3},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/BienvenuDG0MNT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/BruniS14,
  author       = {Riccardo Bruni and
                  Peter Schuster},
  title        = {Approximating Beppo Levi's principio di Approssimazione},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {2},
  pages        = {141--169},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.6},
  doi          = {10.1017/BSL.2014.6},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bsl/BruniS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Buldt14,
  author       = {Bernd Buldt},
  title        = {Ulrich Pardey, Frege on Absolute and Relative Truth. An Introduction
                  to the Practice of Interpreting Philosophical Texts, History of Analytic
                  Philosophy (no vol. number), Palgrave Macmillian, Basingstoke-New
                  York, 2012, xxiv+242 pp},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {3},
  pages        = {360--362},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.26},
  doi          = {10.1017/BSL.2014.26},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Buldt14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Centrone14,
  author       = {Stefania Centrone},
  title        = {Edgar Morscher, Normenlogik. Grundlagen - Systeme - Anwendungen. Paderborn,
                  Mentis, 2012. 309 pp., {ISBN-13:} 978-3897857841},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {97--98},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.5},
  doi          = {10.1017/BSL.2014.5},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Centrone14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/ChenF14,
  author       = {Yijia Chen and
                  J{\"{o}}rg Flum},
  title        = {On Optimal Inverters},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {1--23},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2013.2},
  doi          = {10.1017/BSL.2013.2},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/ChenF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/ChongLY14,
  author       = {C. T. Chong and
                  Wei Li and
                  Yue Yang},
  title        = {Nonstandard Models in Recursion Theory and Reverse Mathematics},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {2},
  pages        = {170--200},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.14},
  doi          = {10.1017/BSL.2014.14},
  timestamp    = {Sat, 27 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/ChongLY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Deloro14,
  author       = {Adrien Deloro},
  title        = {In Memoriam: {\'{E}}ric Jaligot 1972-2013},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {103--104},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.2},
  doi          = {10.1017/BSL.2014.2},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Deloro14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Dobrinen14,
  author       = {Natasha Dobrinen},
  title        = {James Cummings and Ernest Schimmerling, editors. Lecture Note Series
                  of the London Mathematical Society, vol. 406. Cambridge University
                  Press, New York, xi + 419 pp. - Paul B. Larson, Peter Lumsdaine, and
                  Yimu Yin. An introduction to Pmax forcing. pp. 5-23. - Simon Thomas
                  and Scott Schneider. Countable Borel equivalence relations. pp. 25-62.
                  - Ilijas Farah and Eric Wofsey. Set theory and operator algebras.
                  pp. 63-119. - Justin Moore and David Milovich. {A} tutorial on set
                  mapping reflection. pp. 121-144. - Vladimir G. Pestov and Aleksandra
                  Kwiatkowska. An introduction to hyperlinear and sofic groups. pp.
                  145-185. - Itay Neeman and Spencer Unger. Aronszajn trees and the
                  {SCH.} pp. 187-206. - Todd Eisworth, Justin Tatch Moore, and David
                  Milovich. Iterated forcing and the Continuum Hypothesis. pp. 207-244.
                  - Moti Gitik and Spencer Unger. Short extender forcing. pp. 245-263.
                  - Alexander S. Kechris and Robin D. Tucker-Drob. The complexity of
                  classification problems in ergodic theory. pp. 265-299. - Menachem
                  Magidor and Chris Lambie-Hanson. On the strengths and weaknesses of
                  weak squares. pp. 301-330. - Boban Veli{\v{c}}kovi{\'{c}} and
                  Giorgio Venturi. Proper forcing remastered. pp. 331-362. - Asger To{\"{O}}rnquist
                  and Martino Lupini. Set theory and von Neumann algebras. pp. 363-396.
                  - W. Hugh Woodin, Jacob Davis, and Daniel Rodr{\'{I}}guez. The
                  {HOD} dichotomy. pp. 397-419},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {94--97},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.1},
  doi          = {10.1017/BSL.2014.1},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Dobrinen14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Duke-Yonge14,
  author       = {Jennifer Duke{-}Yonge},
  title        = {Nicholas J. J. Smith. Logic: The laws of truth. Princeton University
                  Press, Princeton NJ, 2012, xiv + 528 pp},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {2},
  pages        = {202--203},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.19},
  doi          = {10.1017/BSL.2014.19},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Duke-Yonge14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/JagerZ14,
  author       = {Gerhard J{\"{a}}ger and
                  Rico Zumbrunnen},
  title        = {Explicit Mathematics and Operational Set Theory: some Ontological
                  comparisons},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {3},
  pages        = {275--292},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.21},
  doi          = {10.1017/BSL.2014.21},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/JagerZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Kanamori14,
  author       = {Akihiro Kanamori},
  title        = {Erd{\H{o}}S and Set Theory},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {4},
  pages        = {449--490},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.38},
  doi          = {10.1017/BSL.2014.38},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Kanamori14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Kaye14,
  author       = {Richard Kaye},
  title        = {Circularity in Soundness and Completeness},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {24--38},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2013.4},
  doi          = {10.1017/BSL.2013.4},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Kaye14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Kennedy14,
  author       = {Juliette Kennedy},
  title        = {Penelope Maddy, Defending the Axioms: On the philosophical foundations
                  of set theory, Oxford University Press, Oxford, UK, 2011, 150pp},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {91--93},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2013.5},
  doi          = {10.1017/BSL.2013.5},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Kennedy14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Lempp14,
  author       = {Steffen Lempp},
  title        = {Ulrich Felgner. Das Induktions-Prinzip. Jahresbericht der Deutschen
                  Mathematiker-Vereinigung. vol. 114, no. 1 (2012), pp. 23-45. - Ulrich
                  Felgner. Hilbert's "Grundlagen der Geometrie" und ihre Stellung in
                  der Geschichte der Grundlagendiskussion. Jahresbericht der Deutschen
                  Mathematiker-Vereinigung. vol. 115, no. 3-4 (2014), pp. 185-206},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {2},
  pages        = {201--202},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.11},
  doi          = {10.1017/BSL.2014.11},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Lempp14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Macpherson14,
  author       = {Dugald Macpherson},
  title        = {Recent developments in model theory, Notre Dame Journal of Formal
                  Logic, vol.54, nos.3-4, 2013},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {3},
  pages        = {357--359},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.25},
  doi          = {10.1017/BSL.2014.25},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Macpherson14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Melnikov14,
  author       = {Alexander G. Melnikov},
  title        = {Computable Abelian Groups},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {3},
  pages        = {315--356},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.32},
  doi          = {10.1017/BSL.2014.32},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Melnikov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Oosten14,
  author       = {Jaap van Oosten},
  title        = {The Univalent Foundations Program. Homotopy Type Theory: Univalent
                  Foundations of Mathematics. http: //homotopytypetheory.org/book, Institute
                  for Advanced Study, 2013, vii + 583 pp},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {4},
  pages        = {497--500},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.31},
  doi          = {10.1017/BSL.2014.31},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Oosten14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Plato14,
  author       = {Jan von Plato},
  title        = {David Hilbert's lectures on the foundations of arithmetic and logic
                  1917-1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin,
                  Heidelberg and New York, 2013, xxv + 1062 pp},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {3},
  pages        = {363--365},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.27},
  doi          = {10.1017/BSL.2014.27},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Plato14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Plato14a,
  author       = {Jan von Plato},
  title        = {Generality and existence: Quantificational Logic in Historical Perspective},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {4},
  pages        = {417--448},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.29},
  doi          = {10.1017/BSL.2014.29},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Plato14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Rinot14,
  author       = {Assaf Rinot},
  title        = {Chain conditions of Products, and Weakly Compact Cardinals},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {3},
  pages        = {293--314},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.24},
  doi          = {10.1017/BSL.2014.24},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Rinot14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Sequoiah-Grayson14,
  author       = {Sebastian Sequoiah{-}Grayson},
  title        = {Johan van Benthem. Logic in Games. The {MIT} Press, Cambridge MA,
                  2014, xv + 547 pp},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {4},
  pages        = {501--503},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.39},
  doi          = {10.1017/BSL.2014.39},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Sequoiah-Grayson14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Towsner14,
  author       = {Henry Towsner},
  title        = {Antonio Montalb{\'{a}}n, Indecomposable linear orderings and
                  hyperarithmetic analysis. Journal of Mathematical Logic, vol.6 (2006),
                  no. 1, pp. 89-120. - Itay Neeman, The strength of Jullien's indecomposability
                  theorem. Journal of Mathematical Logic, vol. 8 (2008), no. 1, pp.
                  93-119. - Itay Neeman, Necessary use ofinduction in a reversal. Journal
                  of Symbolic Logic, vol. 76 (2011), no. 2, pp. 561-574},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {3},
  pages        = {366--368},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.28},
  doi          = {10.1017/BSL.2014.28},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Towsner14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Wille14,
  author       = {Matthias Wille},
  title        = {Sven Schlotter and Kai F. Wehmeier. Gingerbread nuts and pebbles:
                  Frege and the Neo-Kantians: Two recently discovered documents. British
                  Journal for the History of Philosophy, vol. 21 (2013), no. 3, pp.
                  591-609},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {1},
  pages        = {93--94},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2013.7},
  doi          = {10.1017/BSL.2013.7},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Wille14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Yaacov14,
  author       = {Ita{\"{\i}} Ben Yaacov},
  title        = {Model Theoretic stability and Definability of Types, after a. Grothendieck},
  journal      = {Bull. Symb. Log.},
  volume       = {20},
  number       = {4},
  pages        = {491--496},
  year         = {2014},
  url          = {https://doi.org/10.1017/bsl.2014.33},
  doi          = {10.1017/BSL.2014.33},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Yaacov14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.