Switch to: Citations

Add references

You must login to add references.
  1. Proper and Improper Forcing.Péter Komjáath - 2000 - Studia Logica 64 (3):421-425.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • (1 other version)Analytic ideals and cofinal types.Alain Louveau & Boban Velickovi - 1999 - Annals of Pure and Applied Logic 99 (1-3):171-195.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)Analytic ideals and cofinal types.Alain Louveau & Boban Velickovi - 1999 - Annals of Pure and Applied Logic 99 (1-3):171-195.
    We describe a new way to construct large subdirectly irreducibles within an equational class of algebras. We use this construction to show that there are forbidden geometries of multitraces for finite algebras in residually small equational classes. The construction is first applied to show that minimal equational classes generated by simple algebras of types 2, 3 or 4 are residually small if and only if they are congruence modular. As a second application of the construction we characterize residually small locally (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations