Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem
DOI10.1090/S0002-9947-03-03353-1zbMATH Open1042.46033MaRDI QIDQ4452268FDOQ4452268
Authors: Daniele Mundici 
Publication date: 12 February 2004
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
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
\(C^*\)-equivalenceDe Concini-Procesi theorem for toric varietiesElliott's classificationisomorphism of Bratteli diagramsMarkov undecidability theoremstable AF-algebra
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Groupes et anneaux reticules
- Title not available (Why is that?)
- Satisfiability in many-valued sentential logic is NP-complete
- Inductive Limits of Finite Dimensional C ∗ -Algebras
- Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
- Title not available (Why is that?)
- Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
- The Word Problem Versus the Isomorphism Problem
- Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups
- Non-stationarity of isomorphism between AF algebras defined by stationary Bratteli diagrams
- Every Abelian \(\ell\)-group is ultrasimplicial
- A characterisation of lattice-ordered Abelian groups
- Classes of ultrasimplicial lattice-ordered abelian groups
Cited In (12)
- Free generating sets of lattice-ordered abelian groups
- Symbolic substitutions, Bratteli diagrams and operator algebras
- Recognizing free generating sets of \(\ell\)-groups
- Set Theory and C*-Algebras
- The Lebesgue state of a unital abelian lattice-ordered group
- Revisiting the free 2-generator abelian \(\ell\)-group
- Gödel incompleteness in AF C*-algebras
- Fans, decision problems and generators of free abelian \(\ell\)-groups
- Bratteli diagrams via the De Concini–Procesi theorem
- Recognizing the Farey-Stern-Brocot AF algebra
- Lattice-ordered Abelian groups and Schauder bases of unimodular fans
- 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)
