- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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 [Book Review]
Bulletin of Symbolic Logic 21 (4):427-430 (2015)
Abstract
This article has no associated abstract. (fix it)DOI
10.1017/bsl.2015.33
My notes
Similar books and articles
Borel reducibility and classification of von Neumann algebras.Román Sasyk & Asger Törnquist - 2009 - Bulletin of Symbolic Logic 15 (2):169-183.
Subdirectly irreducible separable dynamic algebras.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2010 - Mathematical Logic Quarterly 56 (4):442-448.
The relation of recursive isomorphism for countable structures.Riccardo Camerlo - 2002 - Journal of Symbolic Logic 67 (2):879-895.
Representations for Small Relation Algebras.Hajnal Andréka & Roger D. Maddux - 1994 - Notre Dame Journal of Formal Logic 35 (4):550-562.
The Isomorphism Testing For Directly Representable Varieties.Tomasz Gorazd - 1997 - Reports on Mathematical Logic:75-92.
Computable Isomorphisms of Boolean Algebras with Operators.Bakhadyr Khoussainov & Tomasz Kowalski - 2012 - Studia Logica 100 (3):481-496.
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
Bounded commutative b-c-k logic and Lukasiewicz logic.Marta Sagastume - 2005 - Manuscrito 28 (2):575-583.
Isomorphism of Homogeneous Structures.John D. Clemens - 2009 - Notre Dame Journal of Formal Logic 50 (1):1-22.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.
Some model-theoretic correspondences between dimension groups and AF algebras.Philip Scowcroft - 2011 - Annals of Pure and Applied Logic 162 (9):755-785.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Boolean Algebras, Tarski Invariants, and Index Sets.Barbara F. Csima, Antonio Montalbán & Richard A. Shore - 2006 - Notre Dame Journal of Formal Logic 47 (1):1-23.
Analytic equivalence relations and bi-embeddability.Sy-David Friedman & Luca Motto Ros - 2011 - Journal of Symbolic Logic 76 (1):243 - 266.
Analytics
Added to PP
2016-06-30
Downloads
19 (#596,282)
6 months
1 (#485,425)
2016-06-30
Downloads
19 (#596,282)
6 months
1 (#485,425)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-9c67bdf98-7wpfk N