Beth definability and the Stone-Weierstrass theorem

DOI10.1016/j.apal.2021.102990OpenAlexW3158709205MaRDI QIDQ2033009

Luca Reggio

Publication date: 14 June 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

equational logiccompact Hausdorff spacesStone-Weierstrass theoremstrong completenessBeth definabilityinfinitary varieties

Mathematics Subject Classification ID

Other nonclassical logic (03B60) MV-algebras (06D35) Rings and algebras of continuous, differentiable or analytic functions (46E25) Interpolation, preservation, definability (03C40) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Infinitary algebras (08A65)

Related Items (1)

AF-algebras with lattice-ordered \(K_0\): logic and computation

Cites Work

• 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
• Generating the algebraic theory of C(X)
• Cylindric algebras. Part II
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Model theory.
• Groupes et anneaux reticules
• On the relationship between compact regularity and Gentzen's cut rule
• Extending Stone duality to multisets and locally finite MV-algebras.
• Algebraic characterizations of various Beth definability properties
• Algebraic foundations of many-valued reasoning
• Amalgamation and interpolation in ordered algebras.
• A strict implication calculus for compact Hausdorff spaces
• Uniform interpolation and compact congruences
• The Beth property in algebraic logic
• Epimorphisms and surjectivity
• Exact categories and categories of sheaves
• MV-algebras: a variety for magnitudes with archimedean units
• The Differential Semantics of Łukasiewicz Syntactic Consequence
• Duality and definability in first order logic
• Algebraic Analysis of Many Valued Logics
• Independence of the axiomatic system for MV-algebras
• The Theory of Representation for Boolean Algebras
• Applications of the Theory of Boolean Rings to General Topology
• \(f\)-rings and the Stone-Weierstrass theorem

This page was built for publication: Beth definability and the Stone-Weierstrass theorem