AF-algebras with lattice-ordered K₀: logic and computation

DOI10.1016/J.APAL.2022.103182MaRDI QIDQ2084965zbMATH OpenOpenAlexFDO

Authors Daniele Mundici

Publication date 14 October 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2022.103182

zbMATH Keywords

AF-algebradecision problemElliott classificationfinitely presented \(\mathrm{AF}\ell\)-algebraMV-algebraŁukasiewicz logic

Mathematics Subject Classification ID

MV-algebras (06D35) Word problems (aspects of algebraic structures) (08A50) (K_0) of other rings (19A49) Classifications of (C^*)-algebras (46L35) (K)-theory and operator algebras (including cyclic theory) (46L80) Limit algebras, subalgebras of (C^*)-algebras (47L40) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 4041895
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• scientific article; zbMATH DE number 4075025
• Algebraic orders on K₀ and approximately finite operator algebras
• scientific article; zbMATH DE number 761275

Cites work

• \(C^ *\)-algebras with a two-point dual
• C^*-algebras by example
• A characterisation of lattice-ordered Abelian groups
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A noncommutative Gauss map
• A Simple C ∗ -Algebra with no Nontrivial Projections
• A theorem about infinite-valued sentential logic
• Advanced Łukasiewicz calculus and MV-algebras
• AF inverse monoids and the structure of countable MV-algebras
• Affine representations of Grothendieck groups and applications to Rickart 𝐶*-algebras and ℵ₀-continuous regular rings
• Algebraic Analysis of Many Valued Logics
• An AF Algebra Associated with the Farey Tessellation
• Beth definability and the Stone-Weierstrass theorem
• Bratteli diagrams via the De Concini-Procesi theorem
• Classification of nuclear C^*-algebras. Entropy in operator algebras
• Coordinatizing some concrete MV algebras and a decomposition theorem
• Extending addition in Elliott's local semigroup
• Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
• Groupes et anneaux reticules
• scientific article; zbMATH DE number 3650623 (Why is no real title available?)
• scientific article; zbMATH DE number 3745885 (Why is no real title available?)
• scientific article; zbMATH DE number 3624214 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• scientific article; zbMATH DE number 3365842 (Why is no real title available?)
• Independence of the axiomatic system for MV-algebras.
• Inductive Limits of Finite Dimensional C ∗ -Algebras
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Model theory.
• Noncommutative geometry. A functorial approach
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Primitive ideals in enveloping algebras
• Recognizing the Farey-Stern-Brocot AF algebra
• Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
• Some model-theoretic correspondences between dimension groups and AF algebras
• Spectral spaces of countable abelian lattice-ordered groups
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• The differential semantics of Łukasiewicz syntactic consequence
• The writing of the MV-algebras
• What the Łukasiewicz axioms mean
• Word problems in Elliott monoids

Cited in

(2)

• Computing on Lattice-Ordered Abelian Groups
• Liminary \(C^{\ast}\)-algebras with boolean spectrum

This page was built for publication: AF-algebras with lattice-ordered \(K_0\): logic and computation

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