Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual (Q1354006): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+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 @@
+Inductive Limits of Finite Dimensional C ∗ -Algebras
+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 @@
+Q5330684
@@ Property / cites work: Q5330684 / rank @@
+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 @@
+Satisfiability in many-valued sentential logic is NP-complete
+Normal rank
@@ Property / cites work @@
+Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
+Normal rank
@@ Property / cites work @@
+Q3781089
@@ Property / cites work: Q3781089 / rank @@
+Normal rank
@@ Property / cites work @@
+On the classification of the ordered groups associated with the approximately finite dimensional C*-algebras
+Normal rank