Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 22
Volume 22, Number 1, March 2016
- Michael Beeson:
Constructive Geometry and the Parallel postulate. 1-104 - Sean Walsh:
The strength of Abstraction with Predicative Comprehension. 105-120
- Andrzej Indrzejczak
:
Linear Time in Hypersequent Framework. 121-144
Volume 22, Number 2, June 2016
- Ludovic Patey:
Open Questions about Ramsey-Type Statements in Reverse Mathematics. 151-169 - Olivia Caramello, Anna Carla Russo:
Lattice-Ordered Abelian Groups and Perfect MV-Algebras: a Topos-Theoretic Perspective. 170-214 - Stefania Centrone:
Early Bolzano on Ground-Consequence Proofs. 215-237 - Isaac Goldbring, Bradd Hart:
Computability and the Connes Embedding Problem. 238-248 - Laurent Bienvenu, Christopher P. Porter:
Deep Pi10 Classes. 249-286
- Steffen Lempp:
Kenneth Kunen, The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19. College Publications, London, 2009, vii + 251 pp. 287-288 - Thomas Strahm:
Katalin Bimbó. Proof Theory: Sequent Calculi and Related Formalisms. CRC Press, Boca Raton, 2014, x + 374 pp. 288-289 - Edwin D. Mares:
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. 289-291 - Martin Hils:
Byunghan Kim. Simplicity Theory. Oxford Logic Guides, 53. Oxford University Press, Oxford, 2014, x+224 pp. 291-293
- Anil Nerode:
In Memoriam: Hartley Rogers, Jr. 1926-2015. 294-297
Volume 22, Number 3, September 2016
- Kenshi Miyabe, André Nies, Jing Zhang:
Using Almost-everywhere theorems from Analysis to Study Randomness. 305-331 - Gerhard Jäger:
Relativizing Operational Set Theory. 332-352
- David Milovich:
Kenneth Kunen, Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34, College Publications, London, 2011, viii + 401 pp. 353-354 - Alasdair Urquhart:
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. 354-356 - Lewis Bowen:
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. 356-358 - Clinton T. Conley:
Vladimir Kanovei, Marcin Sabok, and Jindřich Zapletal, Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, vol. 202, Cambridge University Press, Cambridge, 2013, viii + 269 pp. 358-360
- Andrew Lewis-Pye, Andrea Sorbi:
In Memoriam: Barry Cooper 1943-2015. 361-365
Volume 22, Number 4, December 2016
- Zvonko Iljazovic, Lucija Validzic:
Maximal Computability Structures. 445-468 - Milos Adzic, Kosta Dosen:
Gödel's Notre Dame Course. 469-481 - Owen Griffiths, Alexander C. Paseau:
Isomorphism invariance and Overgeneration. 482-503 - Alasdair Urquhart:
Russell and Gödel. 504-520
- Ernest Schimmerling:
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öwe, and J. R. Steel, editors), Lecture Notes in Logic 43, Association for Symbolic Logic and Cambridge University Press, 2016, pp. 257-343. 521-524 - Henry Towsner:
Reinhard Kahle and Michael Rathjen, editors, Gentzen's Centenary: The Quest for Consistency, Springer, 2015. 525-526 - Denis R. Hirschfeldt:
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, $RT_2^^2$ 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. 526-530 - Eric Snyder:
M. Carrara, A. Arapinis, and F. Moltmann, editors. Unity and Plurality: Logic, Philosophy, and Linguistics. Oxford University Press, 2016. 530-532
- Joachim Mueller-Theys:
Erratum. 585
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.
last updated on 2024-05-10 19:46 CEST 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:
