Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 20
Volume 20, Number 1, March 2014
- Yijia Chen, Jörg Flum:
On Optimal Inverters. 1-23 - Richard Kaye:
Circularity in Soundness and Completeness. 24-38 - John T. Baldwin:
Completeness and Categoricity (in Power): Formalization without foundationalism. 39-79
- Laurent Bienvenu, Adam R. Day
, Noam Greenberg, Antonín Kucera, Joseph S. Miller, André Nies, Dan Turetsky:
Computing k-Trivial Sets by Incomplete Random Sets. 80-90
- Juliette Kennedy:
Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp. 91-93 - Matthias Wille:
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. 93-94 - Natasha Dobrinen:
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čković and Giorgio Venturi. Proper forcing remastered. pp. 331-362. - Asger ToÖrnquist and Martino Lupini. Set theory and von Neumann algebras. pp. 363-396. - W. Hugh Woodin, Jacob Davis, and Daniel RodrÍguez. The HOD dichotomy. pp. 397-419. 94-97 - Stefania Centrone:
Edgar Morscher, Normenlogik. Grundlagen - Systeme - Anwendungen. Paderborn, Mentis, 2012. 309 pp., ISBN-13: 978-3897857841. 97-98
- Oleg V. Belegradek, Boris Zilber:
In Memoriam: Mikhail A. Taitslin 1936-2013. 99-102 - Adrien Deloro:
In Memoriam: Éric Jaligot 1972-2013. 103-104
Volume 20, Number 2, June 2014
- Riccardo Bruni, Peter Schuster:
Approximating Beppo Levi's principio di Approssimazione. 141-169 - C. T. Chong, Wei Li, Yue Yang:
Nonstandard Models in Recursion Theory and Reverse Mathematics. 170-200
- Steffen Lempp:
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. 201-202 - Jennifer Duke-Yonge:
Nicholas J. J. Smith. Logic: The laws of truth. Princeton University Press, Princeton NJ, 2012, xiv + 528 pp. 202-203
Volume 20, Number 3, September 2014
- Gerhard Jäger, Rico Zumbrunnen:
Explicit Mathematics and Operational Set Theory: some Ontological comparisons. 275-292 - Assaf Rinot:
Chain conditions of Products, and Weakly Compact Cardinals. 293-314 - Alexander G. Melnikov:
Computable Abelian Groups. 315-356
- Dugald Macpherson:
Recent developments in model theory, Notre Dame Journal of Formal Logic, vol.54, nos.3-4, 2013. 357-359 - Bernd Buldt:
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. 360-362 - Jan von Plato:
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. 363-365 - Henry Towsner:
Antonio Montalbá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. 366-368
Volume 20, Number 4, December 2014
- Jan von Plato:
Generality and existence: Quantificational Logic in Historical Perspective. 417-448 - Akihiro Kanamori:
ErdőS and Set Theory. 449-490 - Itaï Ben Yaacov:
Model Theoretic stability and Definability of Types, after a. Grothendieck. 491-496
- Jaap van Oosten:
The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http: //homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp. 497-500 - Jeremy Avigad:
Thomas Hales. Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge, 2012, xiv + 271 pp. 500-501 - Sebastian Sequoiah-Grayson:
Johan van Benthem. Logic in Games. The MIT Press, Cambridge MA, 2014, xv + 547 pp. 501-503
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-04-26 18:24 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:
