Did you mean: Marat, Milks
  1.  21
    Miklós Maróti & Ralph McKenzie (2004). Finite Basis Problems and Results for Quasivarieties. Studia Logica 78 (1-2):293 - 320.
    Let be a finite collection of finite algebras of finite signature such that SP( ) has meet semi-distributive congruence lattices. We prove that there exists a finite collection 1 of finite algebras of the same signature, , such that SP( 1) is finitely axiomatizable.We show also that if , then SP( 1) is finitely axiomatizable. We offer new proofs of two important finite basis theorems of D. Pigozzi and R. Willard. Our actual results are somewhat more general than this abstract (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  2.  3
    Miklós Maróti (2009). The Existence of a Near-Unanimity Term in a Finite Algebra is Decidable. Journal of Symbolic Logic 74 (3):1001-1014.
    We prove that it is decidable of a finite algebra whether it has a near-unanimity term operation, which settles a ten-year-old problem. As a consequence, it is decidable of a finite algebra in a congruence distributive variety whether it admits a natural duality.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography