Word problems in Elliott monoids (Q1669037): Difference between revisions

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