Switch to: References

Add citations

You must login to add citations.
  1. Definability properties and the congruence closure.Xavier Caicedo - 1990 - Archive for Mathematical Logic 30 (4):231-240.
    We introduce a natural class of quantifiersTh containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic ofL ωω (Th) or countably compact regular sublogic ofL ∞ω (Th), properly extendingL ωω , satisfies the uniform reduction property for quotients. As a consequence, none of these logics satisfies eitherΔ-interpolation or Beth's definability theorem when closed under relativizations. We also show the failure of both properties for any sublogic ofL (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation