Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 21
Volume 21, Number 1, March 2015
- John Corcoran, Hassan Masoud:
Existential-Import Mathematics. 1-14 - J. J. Green, Marcus Rossberg, Philip A. Ebert
:
The Convenience of the Typesetter; Notation and Typography in Frege's Grundgesetze der Arithmetik. 15-30
- Solomon Feferman, Vladimir Lifschitz:
In Memoriam: Grigori E. Mints 1939-2014. 31-33
Volume 21, Number 2, June 2015
- Michael Beeson, Pierre Boutry, Julien Narboux:
Herbrand's Theorem and non-Euclidean Geometry. 111-122 - Roy Dyckhoff, Sara Negri:
Geometrisation of First-order Logic. 123-163 - Paolo Mancosu, Richard Zach:
Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic. 164-187
- James Cummings:
Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139-157. - Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279-290. - Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), pp. 553-562. - Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω2. Journal of Symbolic Logic, vol. 77, no. 3 (2012), pp. 934-946. - Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), pp. 483-496. - Itay Neeman. The tree property up to אּω+1. Journal of Symbolic Logic. vol. 79, no. 2 (2014), pp. 429-459. 188-192
Volume 21, Number 3, September 2015
- Matthew Foreman:
Chang's Conjecture, Generic Elementary Embeddings and Inner Models for Huge Cardinals. 251-269 - Antonín Kucera, André Nies, Christopher P. Porter:
Demuth's Path to Randomness. 270-305 - Anand Pillay, Rizos Sklinos:
Saturated Free Algebras Revisited. 306-318 - Libor Barto:
The Constraint Satisfaction Problem and Universal Algebra. 319-337
- Jeffry L. Hirst:
Denis R. Hirschfeldt. Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28. World Scientific Publishing Co. Pte. Ltd., Singapore, 2015, xiv+214 pp. 338-339 - Dima Sinapova:
Itay Neeman. Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 (2014), pp. 265-298. 339-341 - Bradd Hart:
K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, United Kingdom, 2012, x + 248 pp. 342-343
Volume 21, Number 4, December 2015
- Carlos Areces, Ezequiel Orbe:
Symmetries in Modal Logics. 373-401 - Martino Lupini:
The Classification Problem for automorphisms of C*-Algebras. 402-424
- Itaï Ben Yaacov:
Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras I: stability. Bulletin of the London Mathematical Society, vol. 45 (2013), no. 4, pp. 825-838, doi:10.1112/blms/bdt014. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras II: model theory. Israel Journal of Mathematics, vol. 201 (2014), no. 1, pp. 477-505, doi:10.1007/s11856-014-1046-7. - Ilijas Farah, Bradd Hart, and David Sherman. Model theory of operator algebras III: elementary equivalence and II1factors. Bulletin of the London Mathematical Society, vol. 46 (2014), no. 3, pp. 609-628, doi:10.1112/blms/bdu012. - Isaac Goldbring, Bradd Hart, and Thomas Sinclair. The theory of tracial von Neumann algebras does not have a model companion. Journal of Symbolic Logic, vol. 78 (2013), no. 3, pp. 1000-1004. 425-427 - Samuel Coskey:
G. A. Elliott, I. Farah, V. I. Paulsen, C. Rosendal, A. S. Toms, and A. Törnquist. The isomorphism relation for separable C*-algebras. Mathematics Research Letters, vol. 20 (2013), no. 6, pp. 1071-1080. - Marcin Sabok. Completeness of the isomorphism problem for separable C*-algebras. Inventiones Mathematicae, to appear, published online at link.springer.com/journal/222. 427-430
- Jouko Väänänen:
Obituary: Jaakko Hintikka 1929-2015. 431-436
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-06-20 21:33 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:
