Beth definability and the Stone-Weierstrass theorem

DOI10.1016/J.APAL.2021.102990OpenAlexW3158709205MaRDI QIDQ2033009FDOQ2033009

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

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

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)

Cites Work

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

Cited In (3)

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

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)