Word problems in Elliott monoids

DOI10.1016/J.AIM.2018.07.015zbMath1404.46061arXiv1711.01947OpenAlexW2963426127MaRDI QIDQ1669037

Daniele Mundici

Publication date: 29 August 2018

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1711.01947

zbMATH Keywords

word problemAF algebraElliott classificationBehncke-Leptin algebrasEffros-Shen algebraFarey AF algebra

Mathematics Subject Classification ID

(K)-theory and operator algebras (including cyclic theory) (46L80) Abstract operator algebras on Hilbert spaces (47L30) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) MV-algebras (06D35) Word problems, etc. in computability and recursion theory (03D40) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Free lattices, projective lattices, word problems (06B25) Limit algebras, subalgebras of (C^*)-algebras (47L40) Descriptive complexity and finite models (68Q19) Word problems (aspects of algebraic structures) (08A50)

Related Items (6)

Computing on Lattice-Ordered Abelian Groups ⋮ Are locally finite MV-algebras a variety? ⋮ Complete and computable orbit invariants in the geometry of the affine group over the integers ⋮ Bratteli diagrams via the De Concini–Procesi theorem ⋮ AF-algebras with lattice-ordered \(K_0\): logic and computation ⋮ Consequence Relations with Real Truth Values

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• Advanced Łukasiewicz calculus and MV-algebras
• Revisiting the Farey AF algebra
• 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
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• Groupes et anneaux reticules
• The complexity of McNaughton functions of one variable
• Extending addition in Elliott's local semigroup
• Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
• Extending Stone duality to multisets and locally finite MV-algebras.
• Algebraic foundations of many-valued reasoning
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Geometry of Robinson consistency in Łukasiewicz logic
• Philosophical explorations of the legacy of Alan Turing. Turing 100
• \(C^ *\)-algebras with a two-point dual
• A noncommutative Gauss map
• On the rapid computation of various polylogarithmic constants
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• AF Algebras with Directed Sets of Finite Dimensional ∗ -Subalgebras
• An AF Algebra Associated with the Farey Tessellation
• Gödel incompleteness in AF C*-algebras
• A Course in Mathematical Logic for Mathematicians
• Resolving maps and the dimension group for shifts of finite type
• On Two Properties of Free Algebras.
• AF algebras with a lattice of projections.
• Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem
• Non-stationarity of isomorphism between AF algebras defined by stationary Bratteli diagrams
• Inductive Limits of Finite Dimensional C ∗ -Algebras
• A theorem about infinite-valued sentential logic

This page was built for publication: Word problems in Elliott monoids