Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups

Ergodic Theory and Dynamical Systems

Volumn 21, Issue 6, 2001, Pages 1625-1655

  Bratteli, Ola ^a   Jorgensen, Palle E T ^b   Kim, Ki Hang ^c   Roush, Fred ^c  

^a UNIVERSITY OF OSLO   (Norway)

^b UNIVERSITY OF IOWA   (United States)

^c ALABAMA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035624468     PISSN: 01433857     EISSN: None     Source Type: Journal    
DOI: 10.1017/S014338570100178X     Document Type: Article

References (47)

1. J. Ax and S. Kochen. Diophantine problems over local fields, I. Amer. J. Math. 87 (1965), 605-630.
2. J. Ax and S. Kochen. Diophantine problems over local fields, II: A complete set of axioms for p-adic number theory. Amer. J. Math. 87 (1965), 631-648.
3. J. Ax and S. Kochen. Diophantine problems over local fields, III: Decidable fields. Ann. Math. 83(2) (1966), 437-456.
4. B. Blackadar. K-theory for Operator Algebras (MSRI Publication Series, 5). Springer, New York-Heidelberg-Berlin-Tokyo, 1986.
5. Z.I. Borevich and I.R. Shafarevich. Number Theory (Pure and Applied Mathematics, 20). Academic Press, New York-London, 1966. Translated from the Russian Teoriya Chisel, Moscow, 1964, by N. Greenleaf.
6. Z.I. Borevich and I.R. Shafarevich. Number Theory (Pure and Applied Mathematics, 20). Academic Press, New York-London, 1966. Translated from the Russian Teoriya Chisel, Moscow, 1964, by N. Greenleaf.
7. M. Boyle, B. Marcus and P. Trow. Resolving maps and the dimension group for shifts of finite type. Mem. Amer. Math. Soc. 70 (1987), no. 377.
8. O. Bratteli. Inductive limits of finite dimensional C*-algebras. Trans. Amer. Math. Soc. 171 (1972), 195-234.
9. O. Bratteli, P. E. T. Jorgensen, K. H. Kim and F. Roush. Non-stationarity of isomorphism between AF algebras defined by stationary Bratteli diagrams. Ergod. Th. & Dynam. Sys. 20 (2000), 1639-1656.
10. O. Bratteli, P. E. T. Jorgensen, K. H. Kim and F. Roush. Computation of isomorphism invariants for stationary dimension groups, accepted by Ergod. Th. & Dynamic. Sys., and to appear as a sequel.
11. d. Mem. Amer. Math. Soc. submitted
12. J. Buchmann. Generalized Continued Fractions and Number Theoretic Computations (Berichte der Mathematisch-Statistischen Sektion in der Forschungsgesellschaft Joanneum, 269). Forschungszentrum Graz Mathematisch-Statistische Sektion, Graz, 1986, Paper from the sixteenth Styrian mathematical symposium held in Stift Rein/Graz, September 21-26, 1986.
13. M. Davis, Yu. Matijasevič and J. Robinson. Hilbert's tenth problem: Diophantme equations: positive aspects of a negative solution. Mathematical Developments Arising from Hilbert Problems (De Kalb, Ill., 1974) (Proc. Symp. in Pure Mathematics, 28). Ed. F. E. Browder. American Mathematical Society, Providence, RI, 1976, pp. 323-378.
14. F. Durand, B. Host and S. Skau. Substitutional dynamical systems, Bratteli diagrams, and dimension groups. Ergod. Th. & Dynam. Sys. 19 (1999), 953-993.
15. E. G. Effros. Dimensions and C*-algebras (CBMS Regional Conf. Series in Mathematics, 46). Conference Board of the Mathematical Sciences, Washington, 1981.
16. G. A. Elliott. On the classification of inductive limits of sequences of semisimple finite-dimensional algebras. J. Algebra 38 (1976), 29-44.
17. F. Grunewald and D. Segal. Some general algorithms, I: Arithmetic groups. Ann. Math. 112(2) (1980), 531-583.
18. F. Grunewald and D. Segal. Some general algorithms, II: Nilpotent groups. Ann. Math. 112(2) (1980), 585-617.
19. D. Handelman. Positive matrices and dimension groups affiliated to C*-algebras and topological Markov chains. J. Operator Theory 6 (1981), 55-74.
20. H. Hermes. Enumerability, Decidability, Computability: An Introduction to the Theory of Recursive Functions. Springer, New York, 1969. Translated from the German by G. T. Hermann and O. Plassmann. Second revised edition. Die Grundlehren der mathematischen Wissenschaften, Band 127.
21. H. Hermes. Enumerability, Decidability, Computability: An Introduction to the Theory of Recursive Functions. Springer, New York, 1969. Translated from the German by G. T. Hermann and O. Plassmann. Second revised edition. Die Grundlehren der mathematischen Wissenschaften, Band 127.
22. H. Hermes. Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen, 3rd edn. Springer, Berlin, 1978.
23. M. Hindry and J. H. Silverman. Diophantine Geometry: An Introduction (Graduate Texts in Mathematics, 201). Springer, New York, 2000.
24. J Jacklitch. Homeomorphisms of 1-dimensional hyperbolic attractors. Thesis Preprint, 1997, see also Geometry and Topology in Dynamics (Winston-Salem, NC, 1998/San Antonio) Contemp. Math. 246 (1999), 1-15.
25. J Jacklitch. Homeomorphisms of 1-dimensional hyperbolic attractors. Thesis Preprint, 1997, see also Geometry and Topology in Dynamics (Winston-Salem, NC, 1998/San Antonio) Contemp. Math. 246 (1999), 1-15.
26. N Jacobson. Lectures in Abstract Algebra, Vol. III: Theory of Fields and Galois Theory (Graduate Texts in Mathematics, 32). Springer, New York-Heidelberg, 1975, second corrected printing.
27. I. Kaplansky. Infinite Abelian Groups, revised edn. The University of Michigan Press, Ann Arbor, 1969.
28. I. Kaplansky and G. W. Mackey. A generalization of Ulm's theorem. Summa Brasil. Main. 2 (1951), 195-202.
29. B. P. Kitchens. Symbolic Dynamics: One-sided, Two-sided and Countable State Markov Shifts. Universitext, Springer, Berlin, 1998.
30. K. H. Kim and F. W. Roush. Some results on decidability of shift equivalence. J. Combin. Inform. Syst. Sci. 4 (1979), 123-146.
31. K. H. Kim and F. W. Roush. Decidability of shift equivalence. Dynamical Systems (College Park, MD, 1986-87) (Lecture Notes in Mathematics, 1342). Ed. J. C. Alexander. Springer, Berlin-New York, 1988, pp. 374-424.
32. D. E. Knuth. The Art of Computer Programming: Vol. 2: Seminumerical Algorithms, 2nd edn. Addison-Wesley Publishing Co., Reading, MA, 1981.
33. N. Koblitz. p-adic Numbers, p-adic Analysis, and Zeta-Functions (Graduate Texts in Mathematics, 58), 2nd edn. Springer, New York, 1984.
34. D. Mundici and G. Panti. The equivalence problem for Bratteli diagrams. Preprint, 1998.
35. M. Newman. Integral Matrices (Pure and Applied Mathematics, 45). Academic Press, New York-London, 1972.
36. J. Palis and F. Takens. Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations (Cambridge Studies in Advanced Mathematics, 35). Cambridge University Press, 1993.
37. M. Pohst and H. Zassenhaus. Algorithmic Algebraic Number Theory (Encyclopedia of Mathematics and its Applications, 30). Cambridge University Press, Cambridge, 1997, revised reprint of the 1989 original.
38. H. Prüfer. Theorie der Abelschen Gruppen II. Math. Z. 22 (1925), 222-249.
39. Charles Radin. Miles of Tiles. American Mathematical Society, Providence, RI, 1999.
40. J. J. Rotman. Galois Theory, 2nd edn. Universitext, Springer, New York, 1998.
41. J.-P. Serre. Linear Representations of Finite Groups (Graduate Texts in Mathematics, 42). Springer, New York-Heidelberg, 1977.
42. J.-P. Serre. Local Fields (Graduate Texts in Mathematics, 67). Springer, New York-Berlin, 1979.
43. J.-P. Serre. Abelian l-adic Representations and Elliptic Curves (Research Notes in Mathematics, 7). A K Peters, Ltd., Wellesley, MA, 1998, revised reprint of the 1968 original by W. A. Benjamin, Inc.
44. R. Swanson and H. Volkmer. Invariants of weak equivalence in primitive matrices. Ergod. Th. & Dynam. sys. 20 (2000), 611-626.
45. B. L. van der Waerden. Algebra, Vol. II. Springer, New York, 1991, Based in part on lectures by E. Artin and E. Noether. Translated from the fifth German edition by John R. Schulenberger.
46. J. B. Wagoner. Strong shift equivalence theory and the shift equivalence problem. Bull. Amer. Math. Soc. (N.S.) 36 (1999), 271-296.
47. E. Weiss. Algebraci Number Theory. Dover, Mineola, NY, 1998.