Lawvere's elementary theories and polyadic and cylindric algebras Aubert Daigenault — 1970 Fundamenta Mathematicae