Order:
Disambiguations
Joel Berman [6]Joel A. Berman [1]
  1.  64
    Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
    Hoop residuation algebras are the {, 1}-subreducts of hoops; they include Hilbert algebras and the {, 1}-reducts of MV-algebras (also known as Wajsberg algebras). The paper investigates the structure and cardinality of finitely generated free algebras in varieties of k-potent hoop residuation algebras. The assumption of k-potency guarantees local finiteness of the varieties considered. It is shown that the free algebra on n generators in any of these varieties can be represented as a union of n subalgebras, each of which (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  21
    A model theoretic approach to malcev conditions.John T. Baldwin & Joel Berman - 1977 - Journal of Symbolic Logic 42 (2):277-288.
    A varietyV satisfies a strong Malcev condition ∃f1,…, ∃fnθ where θ is a conjunction of equations in the function variablesf1, …,fnand the individual variablesx1, …,xm, if there are polynomial symbolsp1, …,pnin the language ofVsuch that ∀x1, …,xmθ is a law ofV. Thus a strong Malcev condition involves restricted second order quantification of a strange sort. The quantification is restricted to functions which are “polynomially definable”. This notion was introduced by Malcev [6] who used it to describe those varieties all of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  3.  41
    In Memory of Willem Johannes Blok 1947-2003.Joel Berman, Wieslaw Dziobiak, Don Pigozzi & James Raftery - 2006 - Studia Logica 83 (1-3):5-14.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  35
    In Memoriam: Willem Johannes Blok 1947–2003.Joel Berman - 2004 - Bulletin of Symbolic Logic 10 (3):435-437.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  5.  1
    Tree.Joel A. Berman - 2016 - Boston: Branden Books.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  29
    Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor. Algebras, lattices, varieties. Volume I. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, xii + 361 pp. [REVIEW]Joel Berman - 1992 - Journal of Symbolic Logic 57 (1):266-268.
  7. Review: Ralph N. McKenzie, George F. McNulty, Walter F. Taylor, Algebras, Lattices, Varieties. [REVIEW]Joel Berman - 1992 - Journal of Symbolic Logic 57 (1):266-268.
     
    Export citation  
     
    Bookmark