AF-algebras with lattice-ordered \(K_0\): logic and computation
From MaRDI portal
Publication:2084965
DOI10.1016/j.apal.2022.103182OpenAlexW4292136498MaRDI QIDQ2084965
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
MV-algebradecision problemŁukasiewicz logicElliott classificationAF-algebrafinitely presented \(\mathrm{AF}\ell\)-algebra
Analysis of algorithms and problem complexity (68Q25) (K)-theory and operator algebras (including cyclic theory) (46L80) Classifications of (C^*)-algebras (46L35) MV-algebras (06D35) (K_0) of other rings (19A49) Limit algebras, subalgebras of (C^*)-algebras (47L40) Word problems (aspects of algebraic structures) (08A50)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- AF inverse monoids and the structure of countable MV-algebras
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
- Advanced Łukasiewicz calculus and MV-algebras
- Some model-theoretic correspondences between dimension groups and AF algebras
- Coordinatizing some concrete MV algebras and a decomposition theorem
- Recognizing the Farey-Stern-Brocot AF algebra
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
- Model theory.
- On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
- Primitive ideals in enveloping algebras
- Groupes et anneaux reticules
- Extending addition in Elliott's local semigroup
- Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
- A characterisation of lattice-ordered Abelian groups
- The writing of the MV-algebras
- Word problems in Elliott monoids
- Beth definability and the Stone-Weierstrass theorem
- \(C^ *\)-algebras with a two-point dual
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- The Differential Semantics of Łukasiewicz Syntactic Consequence
- A noncommutative Gauss map
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- An AF Algebra Associated with the Farey Tessellation
- Affine representations of Grothendieck groups and applications to Rickart 𝐶*-algebras and ℵ₀-continuous regular rings
- A Simple C ∗ -Algebra with no Nontrivial Projections
- Spectral spaces of countable Abelian lattice-ordered groups
- Independence of the axiomatic system for MV-algebras
- Bratteli diagrams via the De Concini–Procesi theorem
- Inductive Limits of Finite Dimensional C ∗ -Algebras
- A theorem about infinite-valued sentential logic
- WHAT THE ŁUKASIEWICZ AXIOMS MEAN
- \(C^*\)-algebras by example
- Noncommutative geometry. A functorial approach
- Classification of nuclear \(C^*\)-algebras. Entropy in operator algebras
