ポール・ハルモス
1962年の著書"Algebraic Logic"にリプリントされている一連の論文でハルモスはpolyadic algebraを提案した。polyadic algebraは一階述語論理の代数版であり、よりよく知られているアルフレト・タルスキとその弟子達によるCylindric algebraとは異なる。polyadic algebraの初等的なものは記事monadic Boolean algebraで説明されている。
研究によるオリジナルな貢献に加え、ハルモスは説明が非常に明快で人をひきつける大学レベルの数学の教科書を書いたことで知られる。レスター・R・フォード賞(英語版)を1971年さらに再び1977年(W. P. Ziemer, W. H. Wheeler, S. H. Moolgavkar, J. H. Ewing, W. H. Gustafsonと共同で)受賞している。1973年に出版された学術レベルでの数学に関するAMSスタイルガイドを著したアメリカ数学会(AMS)の委員会でハルモスは議長をつとめた。