Beth definability and the Stone-Weierstrass theorem

DOI10.1016/J.APAL.2021.102990MaRDI QIDQ2033009OpenAlexFDO

Authors 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

Stone-Weierstrass theoremstrong completenesscompact Hausdorff spacesequational logicBeth definabilityinfinitary varieties

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1303438
• An institution-independent proof of the Beth definability theorem
• Algebraic characterizations of various Beth definability properties
• Definable versions of theorems by Kirszbraun and Helly
• Definable sets in Stone algebras
• Alexandrov-Zeeman type theorems expressed in terms of definability
• Definable Davies' theorem
• Combined covers and Beth definability
• A definable Haefliger-type theorem
• Beth definability in the logic KR

Cites work

• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 3222151 (Why is no real title available?)
• scientific article; zbMATH DE number 3285279 (Why is no real title available?)
• scientific article; zbMATH DE number 3319584 (Why is no real title available?)
• scientific article; zbMATH DE number 3326329 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• A strict implication calculus for compact Hausdorff spaces
• Advanced Łukasiewicz calculus and MV-algebras
• Algebraic Analysis of Many Valued Logics
• Algebraic characterizations of various Beth definability properties
• Algebraic foundations of many-valued reasoning
• Amalgamation and interpolation in ordered algebras.
• Applications of the Theory of Boolean Rings to General Topology
• Bounded Archimedean \(\ell\)-algebras and Gelfand-Neumark-Stone duality.
• Cylindric algebras. Part II
• Duality and definability in first order logic
• Epimorphisms and surjectivity
• Exact categories and categories of sheaves
• Extending Stone duality to multisets and locally finite MV-algebras.
• Generating the algebraic theory of C(X)
• Groupes et anneaux reticules
• Independence of the axiomatic system for MV-algebras.
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• MV-algebras: a variety for magnitudes with archimedean units
• Model theory.
• On the relationship between compact regularity and Gentzen's cut rule
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• The Beth property in algebraic logic
• The Theory of Representation for Boolean Algebras
• The differential semantics of Łukasiewicz syntactic consequence
• Uniform interpolation and compact congruences
• \(f\)-rings and the Stone-Weierstrass theorem

Cited in

(3)

• Beth definability and the Stone-Weierstrass Theorem
• AF-algebras with lattice-ordered \(K_0\): logic and computation
• Discrete versions of the Beckman-Quarles theorem from the definability results of R. M. Robinson

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

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