Gödel incompleteness in AF C*-algebras

DOI10.1515/FORUM.2008.048MaRDI QIDQ3546146zbMATH OpenFDO

Authors Daniele Mundici, Constantine Tsinakis

Publication date 18 December 2008

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/FORUM.2008.048

zbMATH Keywords

AF \(C^*\)-algebraeffectively enumerableElliott partial monoidundecidable

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) General theory of (C^*)-algebras (46L05)

Recommendations

• Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Word problems in Elliott monoids
• Extending addition in Elliott's local semigroup
• Some model-theoretic correspondences between dimension groups and AF algebras

Cites work

• \(C^ *\)-algebras with a two-point dual
• Free Sums of Groups and Their Generalizations. An Analysis of the Associative Law
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Non-stationarity of isomorphism between AF algebras defined by stationary Bratteli diagrams
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• Prime ideals in free \(\ell\)-groups and free vector lattices
• Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
• Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem

Cited in

(7)

• Interpretation of De Finetti coherence criterion in Łukasiewicz logic
• Recognizing the Farey-Stern-Brocot AF algebra
• Word problems in Elliott monoids
• Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem
• Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups
• Revisiting the Farey AF algebra
• Finite axiomatizability in Łukasiewicz logic

This page was built for publication: Gödel incompleteness in AF C*-algebras

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