Switch to: Citations

Add references

You must login to add references.
  1. Representation and duality theory for diagonalizable algebras.Roberto Magari - 1975 - Studia Logica 34 (4):305 - 313.
    The duality theory established by Halmos in [2] for boolean hemimorphism applies of course to the diagonalizable algebra, because ντν is an hemimorphism. For commodity in working on diagonalizable algebras we recall the basic facts and give the characteristic conditions on the dual of ντν.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • The fixed-point theorem for diagonalizable algebras.Claudio Bernardi - 1975 - Studia Logica 34 (3):239 - 251.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Sentences true in all constructive models.R. L. Vaught - 1960 - Journal of Symbolic Logic 25 (1):39-53.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The undecidability of the first-order theory of diagonalizable algebras.Franco Montagna - 1980 - Studia Logica 39 (4):355 - 359.
    The undecidability of the first-order theory of diagonalizable algebras is shown here.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Review: Abraham Robinson, Complete Theories. [REVIEW]Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.
    Download  
     
    Export citation  
     
    Bookmark   1 citation