AF-algebras with lattice-ordered \(K_0\): logic and computation
type: Item
instance of: scholarly article
title: AF-algebras with lattice-ordered \(K_0\): logic and computation
author: Daniele Mundici
published in: Annals of Pure and Applied Logic
publication date: 2022-10-14T00:00:00Z
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 08A50
Mathematics Subject Classification ID: 19A49
Mathematics Subject Classification ID: 46L35
Mathematics Subject Classification ID: 46L80
Mathematics Subject Classification ID: 47L40
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 7601556
zbMATH Keywords: Łukasiewicz logic
zbMATH Keywords: MV-algebra
zbMATH Keywords: AF-algebra
zbMATH Keywords: Elliott classification
zbMATH Keywords: decision problem
zbMATH Keywords: finitely presented \(\mathrm{AF}\ell\)-algebra
MaRDI profile type: Publication
full work available at URL: j.apal.2022.103182
OpenAlex ID: W4292136498
cites work: Q4186829
cites work: \(C^ *\)-algebras with a two-point dual
cites work: Groupes et anneaux reticules
cites work: A Simple C ∗ -Algebra with no Nontrivial Projections
cites work: Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
cites work: An AF Algebra Associated with the Farey Tessellation
cites work: Q5613169
cites work: Inductive Limits of Finite Dimensional C ∗ -Algebras
cites work: Algebraic Analysis of Many Valued Logics
cites work: A New Proof of the Completeness of the Lukasiewicz Axioms
cites work: The writing of the MV-algebras
cites work: Model theory.
cites work: Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
cites work: \(C^*\)-algebras by example
cites work: Primitive ideals in enveloping algebras
cites work: A noncommutative Gauss map
cites work: Q3931913
cites work: On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
cites work: Q3208715
cites work: A characterisation of lattice-ordered Abelian groups
cites work: Affine representations of Grothendieck groups and applications to Rickart 𝐶*-algebras and ℵ₀-continuous regular rings
cites work: Independence of the axiomatic system for MV-algebras
cites work: AF inverse monoids and the structure of countable MV-algebras
cites work: Coordinatizing some concrete MV algebras and a decomposition theorem
cites work: Q5638775
cites work: Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
cites work: A theorem about infinite-valued sentential logic
cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
cites work: Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
cites work: Recognizing the Farey-Stern-Brocot AF algebra
cites work: Advanced Łukasiewicz calculus and MV-algebras
cites work: The Differential Semantics of Łukasiewicz Syntactic Consequence
cites work: Word problems in Elliott monoids
cites work: WHAT THE ŁUKASIEWICZ AXIOMS MEAN
cites work: Bratteli diagrams via the De Concini–Procesi theorem
cites work: Extending addition in Elliott's local semigroup
cites work: Noncommutative geometry. A functorial approach
cites work: Beth definability and the Stone-Weierstrass theorem
cites work: Classification of nuclear \(C^*\)-algebras. Entropy in operator algebras
cites work: Some model-theoretic correspondences between dimension groups and AF algebras
cites work: Spectral spaces of countable Abelian lattice-ordered groups
DOI: 10.1016/J.APAL.2022.103182
description: scientific article; zbMATH DE number 7601556