Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem

Transactions of the American Mathematical Society

Volumn 356, Issue 5, 2004, Pages 1937-1955

  Mundici, Daniele ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

C* equivalence; De Concini Procesi theorem for toric varieties; Elliott's classification; Isomorphism of Bratteli diagrams; Markov undecidability theorem; Stable AF algebra

Indexed keywords

EID: 2142781665     PISSN: 00029947     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0002-9947-03-03353-1     Document Type: Article

References (18)

1. W. M. Beynon, Applications of duality in the theory of finitely generated lattice-ordered abelian groups, Canad. J. Math., 29:243-254, 1977. MR 55:10350
2. A. Bigard, K. Keimel, and S. Wolfenstein, Groupes et Anneaux Réticulés, Lecture Notes in Mathematics, Vol. 608, Springer-Verlag, New York, 1977. MR 58:27688
3. O. Bratteli, Inductive limits of finite dimensional C*-algebras, Trans. Amer. Math. Soc., 171:195-234, 1972. MR 47:844
4. O. Bratteli, P. Jorgensen, K. H. Kim, and F. Roush, Non-stationarity of isomorphism between AF-algebras defined by stationary Bratteli diagrams, Ergodic Theory and Dynamical Systems, 20:1639-1656, 2000. MR 2001k:46104
5. O. Bratteli, P. Jorgensen, K. H. Kim, and P. Roush, Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups, Ergodic Theory and Dynamical Systems, 21: 1625-1655, 2001. MR 2002h:46088
6. E. G. Effros, Dimensions and C*-algebras, C.B.M.S. Regional Conference Series in Math., Vol. 46, Amer. Math. Soc., Providence, RI, 1981. MR 84k:46042
7. G. A. Elliott and D. Mundici, A characterisation of lattice-ordered abelian groups, Math. Zeitschrift 213:179-185, 1993. MR 94e:06010
8. G. Ewald, Combinatorial convexity and algebraic geometry, Graduate Texts in Mathematics, Vol. 168, Springer-Verlag, New York, 1996. MR 971:52012
9. A. M. W. Glass and J. J. Madden, The word problem versus the isomorphism problem, J. London Math. Soc., (2), 30:53-61, 1984. MR 861:03059
10. A. J. Goldman and A. W. Tucker, Polyhedral convex cones. In Linear equalities and related systems, pp. 19-40, Annals of Mathematics Studies, Vol. 38, Princeton University Press, Princeton, NJ, 1956, MR 19:446g
11. K. Goodearl, Notes on Real and Complex C*-algebras, Birkhäuser, Boston, 1982 (Volume 5 of Shiva Mathematics Series). MR 85d:46079
12. V. Marra, Every abelian ℓ-group is ultrasimplicial, Journal of Algebra, 225:872-884, 2000. MR 2001c:06020
13. D. Mundici, Interpretation of AF C*-algebras in Lukasiewicz sentential calculus, J. Functional Analysis, 65:15-63, 1986. MR 87k:46146
14. D. Mundici, Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52:145-153, 1987. MR 89a:68076
15. 0 of AF C*-algebras, Advances in Math., 68:23-39, 1988. MR 89d:46072
16. D. Mundici, Classes of ultrasimplicial lattice-ordered abelian groups, Journal of Algebra, 213:596-603, 1999. MR 2000d:06023
17. D. Mundici and G. Panti, The equivalence problem for Bratteli diagrams, Technical Report no. 259, University of Siena (Italy), 1993. Unpublished, 7 pp.
18. T. Oda, Convex Bodies and Algebraic Geometry, Springer-Verlag, Berlin, 1988. MR 88m:14038