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

DOI10.1090/S0002-9947-03-03353-1MaRDI QIDQ4452268zbMATH OpenFDO

Authors Daniele Mundici

Publication date 12 February 2004

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

\(C^*\)-equivalenceDe Concini-Procesi theorem for toric varietiesElliott's classificationisomorphism of Bratteli diagramsMarkov undecidability theoremstable AF-algebra

Mathematics Subject Classification ID

Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Classifications of (C^*)-algebras (46L35) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups
• The category of Bratteli diagrams
• Bratteli diagrams via the De Concini-Procesi theorem
• Gödel incompleteness in AF C*-algebras
• Non-stationarity of isomorphism between AF algebras defined by stationary Bratteli diagrams

Cites work

• scientific article; zbMATH DE number 3121282 (Why is no real title available?)
• scientific article; zbMATH DE number 3745885 (Why is no real title available?)
• scientific article; zbMATH DE number 3779993 (Why is no real title available?)
• scientific article; zbMATH DE number 192947 (Why is no real title available?)
• scientific article; zbMATH DE number 960150 (Why is no real title available?)
• A characterisation of lattice-ordered Abelian groups
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Classes of ultrasimplicial lattice-ordered abelian groups
• Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups
• Every Abelian \(\ell\)-group is ultrasimplicial
• Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
• Groupes et anneaux reticules
• Inductive Limits of Finite Dimensional C ∗ -Algebras
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Non-stationarity of isomorphism between AF algebras defined by stationary Bratteli diagrams
• Satisfiability in many-valued sentential logic is NP-complete
• The Word Problem Versus the Isomorphism Problem

Cited in

(12)

• Free generating sets of lattice-ordered abelian groups
• Recognizing free generating sets of \(\ell\)-groups
• Symbolic substitutions, Bratteli diagrams and operator algebras
• Set Theory and C*-Algebras
• The Lebesgue state of a unital abelian lattice-ordered group
• Revisiting the free 2-generator abelian -group
• Gödel incompleteness in AF C*-algebras
• Fans, decision problems and generators of free abelian \(\ell\)-groups
• Recognizing the Farey-Stern-Brocot AF algebra
• Lattice-ordered Abelian groups and Schauder bases of unimodular fans
• Bratteli diagrams via the De Concini-Procesi theorem
• Word problems in Elliott monoids

This page was built for publication: Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452268)