Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/bsl/bsl22.bht:"
download as .bib file
@article{DBLP:journals/bsl/000116,
author = {Sean Walsh},
title = {The strength of Abstraction with Predicative Comprehension},
journal = {Bull. Symb. Log.},
volume = {22},
number = {1},
pages = {105--120},
year = {2016},
url = {https://doi.org/10.1017/bsl.2015.39},
doi = {10.1017/BSL.2015.39},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/000116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/AdzicD16,
author = {Milos Adzic and
Kosta Dosen},
title = {G{\"{o}}del's Notre Dame Course},
journal = {Bull. Symb. Log.},
volume = {22},
number = {4},
pages = {469--481},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.36},
doi = {10.1017/BSL.2016.36},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/AdzicD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Beeson16,
author = {Michael Beeson},
title = {Constructive Geometry and the Parallel postulate},
journal = {Bull. Symb. Log.},
volume = {22},
number = {1},
pages = {1--104},
year = {2016},
url = {https://doi.org/10.1017/bsl.2015.41},
doi = {10.1017/BSL.2015.41},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Beeson16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/BienvenuP16,
author = {Laurent Bienvenu and
Christopher P. Porter},
title = {Deep Pi\({}_{\mbox{1}}\)\({}^{\mbox{0}}\) Classes},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {249--286},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.9},
doi = {10.1017/BSL.2016.9},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/BienvenuP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Bowen16,
author = {Lewis Bowen},
title = {Valerio Capraro and Martino Lupini, Introduction to Sofic and Hyperlinear
Groups and Connes' Embedding Conjecture, Lecture Notes in Mathematics,
vol. 2136, Springer International Publishing, Switzerland, 2015, viii
+ 151 pp},
journal = {Bull. Symb. Log.},
volume = {22},
number = {3},
pages = {356--358},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.21},
doi = {10.1017/BSL.2016.21},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Bowen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/CaramelloR16,
author = {Olivia Caramello and
Anna Carla Russo},
title = {Lattice-Ordered Abelian Groups and Perfect MV-Algebras: a Topos-Theoretic
Perspective},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {170--214},
year = {2016},
url = {https://doi.org/10.1017/bsl.2015.47},
doi = {10.1017/BSL.2015.47},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/CaramelloR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Centrone16,
author = {Stefania Centrone},
title = {Early Bolzano on Ground-Consequence Proofs},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {215--237},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.1},
doi = {10.1017/BSL.2016.1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Centrone16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Conley16,
author = {Clinton T. Conley},
title = {Vladimir Kanovei, Marcin Sabok, and Jind{\v{r}}ich Zapletal, Canonical
Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol.
202, Cambridge University Press, Cambridge, 2013, viii + 269 pp},
journal = {Bull. Symb. Log.},
volume = {22},
number = {3},
pages = {358--360},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.25},
doi = {10.1017/BSL.2016.25},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Conley16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/GoldbringH16,
author = {Isaac Goldbring and
Bradd Hart},
title = {Computability and the Connes Embedding Problem},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {238--248},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.5},
doi = {10.1017/BSL.2016.5},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/GoldbringH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/GriffithsP16,
author = {Owen Griffiths and
Alexander C. Paseau},
title = {Isomorphism invariance and Overgeneration},
journal = {Bull. Symb. Log.},
volume = {22},
number = {4},
pages = {482--503},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.37},
doi = {10.1017/BSL.2016.37},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/GriffithsP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Hils16,
author = {Martin Hils},
title = {Byunghan Kim. Simplicity Theory. Oxford Logic Guides, 53. Oxford University
Press, Oxford, 2014, x+224 pp},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {291--293},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.12},
doi = {10.1017/BSL.2016.12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Hils16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Hirschfeldt16,
author = {Denis R. Hirschfeldt},
title = {Five papers on reverse mathematics and Ramsey-theoretic principles
- C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics
of Stable Ramsey's Theorem for Pairs. Journal of the American Mathematical
Society, vol. 27 (2014), no. 3, pp. 863-892. - Manuel Lerman, Reed
Solomon, and Henry Towsner, Separating principles below Ramsey's Theorem
for Pairs. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007,
44 pp. - Jiayi Liu, {\textdollar}RT{\_}22{\textdollar} does not imply
{WKL} 0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609-620.
- Lu Liu, Cone avoiding closed sets. Transactions of the American
Mathematical Society, vol. 367 (2015), no. 3, pp. 1609-1630. - Wei
Wang, Some logically weak Ramseyan theorems. Advances in Mathematics,
vol. 261 (2014), pp. 1-25},
journal = {Bull. Symb. Log.},
volume = {22},
number = {4},
pages = {526--530},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.32},
doi = {10.1017/BSL.2016.32},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Hirschfeldt16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/IljazovicV16,
author = {Zvonko Iljazovic and
Lucija Validzic},
title = {Maximal Computability Structures},
journal = {Bull. Symb. Log.},
volume = {22},
number = {4},
pages = {445--468},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.26},
doi = {10.1017/BSL.2016.26},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/IljazovicV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Indrzejczak16,
author = {Andrzej Indrzejczak},
title = {Linear Time in Hypersequent Framework},
journal = {Bull. Symb. Log.},
volume = {22},
number = {1},
pages = {121--144},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.2},
doi = {10.1017/BSL.2016.2},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Indrzejczak16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Jager16,
author = {Gerhard J{\"{a}}ger},
title = {Relativizing Operational Set Theory},
journal = {Bull. Symb. Log.},
volume = {22},
number = {3},
pages = {332--352},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.11},
doi = {10.1017/BSL.2016.11},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Jager16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Lempp16,
author = {Steffen Lempp},
title = {Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical
Logic and Foundations, vol. 19. College Publications, London, 2009,
vii + 251 pp},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {287--288},
year = {2016},
url = {https://doi.org/10.1017/bsl.2015.43},
doi = {10.1017/BSL.2015.43},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Lempp16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Lewis-PyeS16,
author = {Andrew Lewis{-}Pye and
Andrea Sorbi},
title = {In Memoriam: Barry Cooper 1943-2015},
journal = {Bull. Symb. Log.},
volume = {22},
number = {3},
pages = {361--365},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.17},
doi = {10.1017/BSL.2016.17},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Lewis-PyeS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Mares16,
author = {Edwin D. Mares},
title = {Gregory H. Moore (ed.), The Collected Papers of Bertrand Russell,
Volume 5: Toward "Principia Mathematica", London and New York: Routledge,
2014, c + 954 and 10 plates},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {289--291},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.6},
doi = {10.1017/BSL.2016.6},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Mares16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Milovich16,
author = {David Milovich},
title = {Kenneth Kunen, Set Theory, Studies in Logic: Mathematical Logic and
Foundations, Vol. 34, College Publications, London, 2011, viii + 401
pp},
journal = {Bull. Symb. Log.},
volume = {22},
number = {3},
pages = {353--354},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.18},
doi = {10.1017/BSL.2016.18},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Milovich16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/MiyabeNZ16,
author = {Kenshi Miyabe and
Andr{\'{e}} Nies and
Jing Zhang},
title = {Using Almost-everywhere theorems from Analysis to Study Randomness},
journal = {Bull. Symb. Log.},
volume = {22},
number = {3},
pages = {305--331},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.10},
doi = {10.1017/BSL.2016.10},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/MiyabeNZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Mueller-Theys16,
author = {Joachim Mueller{-}Theys},
title = {Erratum},
journal = {Bull. Symb. Log.},
volume = {22},
number = {4},
pages = {585},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.20},
doi = {10.1017/BSL.2016.20},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Mueller-Theys16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Nerode16,
author = {Anil Nerode},
title = {In Memoriam: Hartley Rogers, Jr. 1926-2015},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {294--297},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.13},
doi = {10.1017/BSL.2016.13},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Nerode16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Patey16,
author = {Ludovic Patey},
title = {Open Questions about Ramsey-Type Statements in Reverse Mathematics},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {151--169},
year = {2016},
url = {https://doi.org/10.1017/bsl.2015.40},
doi = {10.1017/BSL.2015.40},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Patey16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Schimmerling16,
author = {Ernest Schimmerling},
title = {John R. Steel and W. Hugh Woodin, {HOD} as a core model, Ordinal Definability
and Recursion Theory: The Cabal Seminar, vol. {III} {(A.} S. Kechris,
B. L{\"{o}}we, and J. R. Steel, editors), Lecture Notes in Logic
43, Association for Symbolic Logic and Cambridge University Press,
2016, pp. 257-343},
journal = {Bull. Symb. Log.},
volume = {22},
number = {4},
pages = {521--524},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.30},
doi = {10.1017/BSL.2016.30},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Schimmerling16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Snyder16,
author = {Eric Snyder},
title = {M. Carrara, A. Arapinis, and F. Moltmann, editors. Unity and Plurality:
Logic, Philosophy, and Linguistics. Oxford University Press, 2016},
journal = {Bull. Symb. Log.},
volume = {22},
number = {4},
pages = {530--532},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.38},
doi = {10.1017/BSL.2016.38},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Snyder16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Strahm16,
author = {Thomas Strahm},
title = {Katalin Bimb{\'{o}}. Proof Theory: Sequent Calculi and Related
Formalisms. {CRC} Press, Boca Raton, 2014, x + 374 pp},
journal = {Bull. Symb. Log.},
volume = {22},
number = {2},
pages = {288--289},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.3},
doi = {10.1017/BSL.2016.3},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Strahm16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Towsner16,
author = {Henry Towsner},
title = {Reinhard Kahle and Michael Rathjen, editors, Gentzen's Centenary:
The Quest for Consistency, Springer, 2015},
journal = {Bull. Symb. Log.},
volume = {22},
number = {4},
pages = {525--526},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.31},
doi = {10.1017/BSL.2016.31},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Towsner16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Urquhart16,
author = {Alasdair Urquhart},
title = {S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing:
Computing the World. Cambridge University Press, 2016. xviii + 379
pp. - therein: - Martin Davis. Algorithms, Equations, and Logic. pp.
4-19. - {J.M.E.} Hyland. The Forgotten Turing. pp. 20-33. - Andrew
R. Booker. Turing and the Primes. pp. 34-52. - Ueli Maurer. Cryptography
and Computation after Turing. pp. 53-77. - Kanti V. Mardia and S.
Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78-89. - Stephen
Wolfram. What Alan Turing Might Have Discovered. pp. 92-105. - Christof
Teuscher. Designed versus Intrinsic Computation. pp. 106-116. - Solomon
Feferman. Turing's 'Oracle': From Absolute to Relative Computability
and Back. pp. 300-334. - {P.D.} Welch. Turing Transcendent: Beyond
the Event Horizon. pp. 335-360. - Roger Penrose. On Attempting to
Model the Mathematical Mind. pp. 361-378},
journal = {Bull. Symb. Log.},
volume = {22},
number = {3},
pages = {354--356},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.19},
doi = {10.1017/BSL.2016.19},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Urquhart16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Urquhart16a,
author = {Alasdair Urquhart},
title = {Russell and G{\"{o}}del},
journal = {Bull. Symb. Log.},
volume = {22},
number = {4},
pages = {504--520},
year = {2016},
url = {https://doi.org/10.1017/bsl.2016.35},
doi = {10.1017/BSL.2016.35},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Urquhart16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-24 15:18 CEST from data curated 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:
