Switch to: References

Add citations

You must login to add citations.
  1. Beth Definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
    The Stone-Weierstrass Theorem for compact Hausdorff spaces is a basic result of functional analysis with far-reaching consequences. We introduce an equational logic ⊨Δ associated with an infinitary variety Δ and show that the Stone-Weierstrass Theorem is a consequence of the Beth definability property of ⊨Δ, stating that every implicit definition can be made explicit. Further, we define an infinitary propositional logic ⊢Δ by means of a Hilbert-style calculus and prove a strong completeness result whereby the semantic notion of consequence associated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Uniform Interpolation and the Existence of Sequent Calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
  • Uniform Interpolation and Coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Modularity Results for Interpolation, Amalgamation and Superamalgamation.Silvio Ghilardi & Alessandro Gianola - 2018 - Annals of Pure and Applied Logic 169 (8):731-754.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark