Bulletin of Symbolic Logic - researchr journal

researchr

You are not signed in
Sign in
Sign up

373	--	401	Carlos Areces, Ezequiel Orbe. Symmetries in Modal Logics
402	--	424	Martino Lupini. The Classification Problem for automorphisms of C*-Algebras
425	--	427	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
427	--	430	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
431	--	436	Jouko Väänänen. Obituary: Jaakko Hintikka 1929-2015

251	--	269	Matthew Foreman 0001. Chang's Conjecture, Generic Elementary Embeddings and Inner Models for Huge Cardinals
270	--	305	Antonín Kucera 0002, André Nies, Christopher P. Porter. Demuth's Path to Randomness
306	--	318	Anand Pillay, Rizos Sklinos. Saturated Free Algebras Revisited
319	--	337	Libor Barto. The Constraint Satisfaction Problem and Universal Algebra
338	--	339	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
339	--	341	Dima Sinapova. Itay Neeman. Forcing with sequences of models of two types. Notre Dame Journal of Formal Logic, vol. 55 (2014), pp. 265-298
342	--	343	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

111	--	122	Michael Beeson, Pierre Boutry, Julien Narboux. Herbrand's Theorem and non-Euclidean Geometry
123	--	163	Roy Dyckhoff, Sara Negri. Geometrisation of First-order Logic
164	--	187	Paolo Mancosu, Richard Zach. Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic
188	--	192	James Cummings 0001. 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

1	--	14	John Corcoran, Hassan Masoud. Existential-Import Mathematics
15	--	30	J. J. Green, Marcus Rossberg, Philip A. Ebert. The Convenience of the Typesetter; Notation and Typography in Frege's Grundgesetze der Arithmetik
31	--	33	Solomon Feferman, Vladimir Lifschitz. In Memoriam: Grigori E. Mints 1939-2014

runs on WebDSL