Computing on Lattice-Ordered Abelian Groups

DOI10.1007/978-3-030-48006-6_15MaRDI QIDQ5049052zbMATH OpenOpenAlexFDO

Authors Daniele Mundici

Publication date 9 November 2022

Published in Fields of Logic and Computation III (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-48006-6_15

zbMATH Keywords

AF \(\mathrm{C}^*\)-algebraBaker-Beynon dualityCabrer characterization theoremdecision problemElliott classificationfinitely generated projective \(\ell\)-groupKroupa-Panti theoremlattice-ordered abelian groupMarkov unrecognizability theoremMarra-Spada dualityMV-algebraregular complexunital \(\ell\)-groupword problem

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Recommendations

• AF-algebras with lattice-ordered \(K_0\): logic and computation
• The complexity of the word problem for abelian l-groups
• scientific article; zbMATH DE number 4041895
• Finitely Presented Abelian Lattice-Ordered Groups
• Decision problems for distributive lattice-ordered semigroups

Cites work

• \(C^ *\)-algebras with a two-point dual
• C^*-algebras by example
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A theorem about infinite-valued sentential logic
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• Applications of Duality in the Theory of Finitely Generated Lattice-Ordered Abelian Groups
• Convex analysis and nonlinear optimization. Theory and examples.
• Decomposition of Birational Toric Maps in Blow-Ups and Blow-Downs
• Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
• Elementary properties of ordered abelian groups
• Extending addition in Elliott's local semigroup
• Fans, decision problems and generators of free abelian \(\ell\)-groups
• Fragments of Many-Valued Statement Calculi
• Free lattice-ordered Abelian groups. II
• Free Vector Lattices
• Groupes et anneaux reticules
• scientific article; zbMATH DE number 3854804 (Why is no real title available?)
• scientific article; zbMATH DE number 3962520 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 955336 (Why is no real title available?)
• scientific article; zbMATH DE number 3745885 (Why is no real title available?)
• scientific article; zbMATH DE number 192947 (Why is no real title available?)
• scientific article; zbMATH DE number 3562105 (Why is no real title available?)
• scientific article; zbMATH DE number 1329672 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1775503 (Why is no real title available?)
• scientific article; zbMATH DE number 3304949 (Why is no real title available?)
• scientific article; zbMATH DE number 3401836 (Why is no real title available?)
• scientific article; zbMATH DE number 960150 (Why is no real title available?)
• scientific article; zbMATH DE number 2208114 (Why is no real title available?)
• Idempotent endomorphisms of free MV-algebras and unital -groups
• Inductive Limits of Finite Dimensional C ∗ -Algebras
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Lectures on polyhedral topology
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Markov's theorem and algorithmically non-recognizable combinatorial manifolds
• Metamathematics of fuzzy logic
• On Rational Subdivisions of Polyhedra with Rational Vertices
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• Projective MV-algebras and rational polyhedra
• Rational polyhedra and projective lattice-ordered abelian groups with order unit
• Recognizing free generating sets of \(\ell\)-groups
• Simplicial geometry of unital lattice-ordered abelian groups.
• The Haar theorem for lattice-ordered abelian groups with order-unit
• The Word Problem for Lattice-Order Groups
• The Word Problem Versus the Isomorphism Problem
• The writing of the MV-algebras
• Unrecognizability of manifolds
• Word problems in Elliott monoids

Cited in

(1)

• Computing S-unit groups of orders

This page was built for publication: Computing on Lattice-Ordered Abelian Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5049052)